En su forma más sencilla, dicho teorema afirma que si formula_1, formula_29 y formula_41 son enteros positivos, y si formula_42 un conjunto finito de enteros, entonces formula_1 es una potencia de un número primo siempre y cuando se cumplan las siguientes condiciones: