Induktion über n {\displaystyle {}n} . Für n = 1 {\displaystyle {}n=1} ist Φ 1 = X − 1 ∈ Z [ X ] {\displaystyle {}\Phi _{1}=X-1\in \mathbb {Z} [X]} . Für beliebiges n {\displaystyle {}n} betrachten wir die in Fakt bewiesene Darstellung
Der linke Faktor ist ein normiertes Polynom und er besitzt nach der Induktionsvoraussetzung Koeffizienten in Z {\displaystyle {}\mathbb {Z} } . Daraus folgt mit Aufgabe,