Sophie Germain's theorem


In number theory, Sophie Germain's theorem is a statement about the divisibility of solutions to the equation of Fermat's Last Theorem for odd prime.

Formal statement

Specifically, Sophie Germain proved that at least one of the numbers,, must be divisible by if an auxiliary prime can be found such that two conditions are satisfied:
  1. No two nonzero powers differ by one modulo ; and
  2. is itself not a power modulo.
Conversely, the first case of Fermat's Last Theorem must hold for every prime for which even one auxiliary prime can be found.

History

Germain identified such an auxiliary prime for every prime less than 100. The theorem and its application to primes less than 100 were attributed to Germain by Adrien-Marie Legendre in 1823.