Explanation

By Fermat's little theorem, N^(p−1) ≡ 1 (mod p) when p ∤ N, so the remainder of N^(p−1) on division by p is 1, option (a).