Švarc–Milnor_lemma loading ...