In number theory, a branch of mathematics, a Mirimanoff's congruence is one of a collection of expressions in modular arithmetic which, if they hold, entail the truth of Fermat's Last Theorem. Since the theorem has now been proven, these are now of mainly historical significance, though the Mirimanoff polynomials are interesting in their own right. The theorem is due to Dmitry Mirimanoff. Definition The nth Mirimanoff polynomial for the prime p is In terms of these polynomials, if t is one of the six values {-X/Y, -Y/X, -X/Z, -Z/X, -Y/Z, -Z/Y} where Xp+Yp+Zp=0 is a solution to Fermat's Last Theorem, then φp-1(t) ≡ 0 (mod p) φp-2(t)φ2(t) ≡ 0 (mod p) φp-3(t)φ3(t) ≡ 0 (mod p) ... φ(p+1)/2(t)φ(p-1)/2(t) ≡ 0 (mod p) Other congruences Mirimanoff also proved the following: If an odd prime p does not divide one of the numerators of the Bernoulli numbers Bp-3, Bp-5, Bp-7 or Bp-9, then the first case of Fermat's Last Theorem, where p does not divide X, Y or Z in the equation Xp+Yp+Zp=0, holds. If the first case of Fermat's Last Theorem fails for the prime p, then 3p-1 ≡ 1 (mod p2). A prime number with this property is sometimes called a Mirimanoff prime, in analogy to a Wieferich prime which is a prime such that 2p-1 ≡ 1 (mod p2). The existence of primes satisfying such congruences was recognized long before their implications for the first case of Fermat's Last Theorem became apparent; but while the discovery of the first Wieferich prime came after these theoretical developments and was prompted by them, the first instance of a Mirimanoff prime is so small that it was already known before Mirimanoff formulated the connection to FLT in 1910, which fact may explain the reluctance of some writers to use the name. So early as his 1895 paper (p. 298), Mirimanoff alludes to a rather complicated test for the primes now known by his name, deriving from a formula published by Sylvester in 1861, which is of little computational value but great theoretical interest. This test was considerably simplified by Lerch (1905), p. 476, who showed that in general, for p > 3, so that a prime possesses the Mirimanoff property if it divides the expression within the curly braces. The condition was further refined in an important paper by Emma Lehmer (1938), in which she considered the intriguing and still unanswered question