a^(p-1)≡1 (mod p) <=> a^(p)≡a (mod p) ?