Ya que cualquier formula_25 conteniendo un primo de Wieferich formula_19 debe contener también formula_21, se sigue inmediatamente que no sería primo.