Claramente, "d" divide a ("n" − 1)! pero por la congruencia, "d" también divide a ("n" − 1)! + 1, así que "d" divide a 1, con lo que se llega a una contradicción.