El teorema siguiente, que conecta los números primos de Wieferich y el último teorema de Fermat fue demostrado por Wieferich en 1909: