Proof:การหารลงตัว กับจำนวนเฉพาะ
 

ถ้า m หาร p กำลัง k ลงตัว เมื่อ p เป็นจำนวนเฉพาะแล้ว
m=p กำลัง n เมื่อ 0<= n<= k

$p^k$ จะมีตัวประกอบคือ $1,\pm p,\pm p^2,\pm p^3,...,\pm p^{k-1},\pm p^k$

$\therefore m=\pm p^n ,0\leqslant n\leqslant k$

ขอบคุณคร้าบ