Sin embargo, sólo la implicación de arriba es conocida como teorema de Wilson (o Congruencia de Wilson).