Se puede probar mediante una construcción algebraica directa, aunque también es una consecuencia sencilla de la teoría de cuerpos de clases y se puede probar juntando datos locales sobre el campo p-ádico de cada primo "p".