Sin embargo, su aportación más importante al problema fue el enunciado de un teorema relacionado que establece que todo divisor primo de formula_32 debe ser de la forma formula_39 para algún formula_40.