Si un anillo conmutativo formula_1 tiene característica prima formula_25, entonces se tiene que formula_30 para todo elemento formula_31 e formula_32 en formula_1.