Prímhatványhoz relatív prímek

Legyen $a$ tetszőleges, $k>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