A proposition on if there for every a ≥ 2 infinitely many primes p exists such that a^(p – 1) ≡ 1 (mod p^2)
