Assuming by way of contradiction that  > 1, we conclude that the 2-group Gal(K/C) contains a subgroup of index 2, so there exists a subextension M of C of degree 2.
Υποθέτοντας μέσω της διάψευσης, ότι .> 1, καταλήγουμε στο συμπέρασμα ότι η 2-ομάδα gal (K / C) περιέχει μία υποομάδα με δείκτη 2, οπότε υπάρχει μια επέκταση Μ του C βαθμού 2.