Sophie Germain probó que al menos uno de los números "x", "y", "z" tiene que ser divisible por "p" si puede encontrarse un primo auxiliar θ tal que se satisfacen las dos condiciones: