21.4. Lemma
Prímhatványhoz relatív prímek
Legyen a tetszőleges, k\gt 0 pedig valamilyen pozitív egész szám. Ekkor tetszőleges p prímszám esetén az a egész szám akkor és csak akkor relatív prím a p^k hatványhoz, ha nem osztható p-vel, azaz
p\nmid a
♣
21.4. Lemma
Legyen a tetszőleges, k\gt 0 pedig valamilyen pozitív egész szám. Ekkor tetszőleges p prímszám esetén az a egész szám akkor és csak akkor relatív prím a p^k hatványhoz, ha nem osztható p-vel, azaz
♣