La demostración del teorema utiliza las propiedades de ciertas funciones multiplicativas (conocidas como funciones-L de Dirichlet) y varios resultados sobre aritmética de números complejos y es suficientemente compleja como para que algunos textos clásicos de teoría de números decidan excluirla de su repertorio de demostraciones.