Es un refuerzo del teorema de Kummer en el sentido que el número primo "p" divide el número de clase del campo ciclotómico de la "p"-iésimas raíces de la unidad si y solo si "p" divide al numerador del n-ésimo número de Bernoulli "B"