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.