VỚI A, B ∈N*. NẾU AB  P THÌ SỐ ABP – BAP  P NẾU AB...

Bài 22. Với a, b

∈

N*. Nếu ab  p thì số ab

^p

– ba

^p

 p Nếu ab / p thì (a, p) = (b, p) = 1. Do đó a

^p-1

≡

b

^p-1

≡

1 (mod p)

⇒

a

^p-1

– b

^p-1

≡

0 (mod p)

⇒

ab(a

^p-1

– b

^p-1

)

≡

0 (mod p)

⇒

ab

^p

– ba

^p

≡

0 (mod p) hay ab

^p

– ba

^p

 p , ∀a, b

∈

N*.