Dicho teorema afirma que cuando formula_1 es un número primo la siguiente congruencia se cumple: