Da n {\displaystyle n} und m {\displaystyle m} teilerfremd sind, folgt aus dem Lemma von Euklid, dass k {\displaystyle k} ein Vielfaches von m {\displaystyle m} ist.