Kreisteilungspolynom/Produkt ist X^n-1/Fakt

Es sei  $n\in {\mathbb{N}}_{+}$. 

Dann gilt in $ℂ[X]$ die Gleichung

$X^n-1=\prod _{d\mid n}{\mathrm{\Phi }}_d.$

Zum Beweis, Alternativen Beweis erstellen