Es sei z ∈ C {\displaystyle {}z\in {\mathbb {C} }} eine konstruierbare Zahl.
Dann ist der Grad des Minimalpolynoms von z {\displaystyle {}z} eine Potenz von zwei.