Fermat's little theorem states that
≡a mod p
If we divide both sides by a, then
≡1 mod p
=>
≡1 mod 17
≡1 mod 17
Rewrite
mod 17 as
mod 17
and apply Fermat's little theorem
mod 17
=>
mod 17
So we conclude that
≡1 mod 17
If we divide both sides by a, then
=>
Rewrite
and apply Fermat's little theorem
=>
So we conclude that