Para demostrar el inverso del teorema (ver siguiente sección), supóngase que la congruencia se cumple para un número compuesto "n", nótese entonces que "n" tiene un divisor propio "d" con 1 < "d" < "n".