En teoría de números, una congruencia de Mirimanoff es una serie de expresiones en aritmética modular tales que, si se cumplen, conllevan la veracidad del último teorema de Fermat. Ya que el teorema ha sido demostrado, estas expresiones son de significancia histórica, ya que los polinomios de Mirimanoff son interesantes por derecho propio.