If we can show it means is minimal polynomial for . This means . So it remains to prove the first step.

Start with the basic case that it means for some rational numbers . Thus, , for this expression to hold we need that or because RHS is irrational otherwise so or , which means .

Now suppose that means . Say that . It means where . Thus, . So that means by induction or is zero. Which means .