Gauss conjeturó que esta condición debía ser también necesaria, pero no aportó una demostración de este hecho, que fue lograda por Pierre Wantzel en 1837.