El teorema afirma que si formula_1 y formula_14 son números coprimos, donde formula_1 es primo, entonces se cumple la congruencia: