Consequently, this polynomial is the minimal polynomial of 2cos(​2π⁄7), whereas the degree of the minimal polynomial for a constructible number must be a power of 2.
Συνεπώς αυτό το πολυώνυμο είναι το minimal πολυώνυμο του 2cos(2π⁄7), ενώ ο βαθμός του minimal πολυωνύμου για έναν κατασκευάσιμο αριθμό πρέπει να είναι μια δύναμη του 2.