Irriducibilità dei polinomi ciclotomici
Salve a tutti 
Ho un problema con la seguente dimostrazione del fatto che l'$n$-imo polinomio ciclotomico $psi_n$ è irriducibile su $QQ$.

Non riesco a capire quando, circa a metà dimostrazione, afferma che $bar{q^2}$ divide $\bar{psi}_n$, da cui l'assurdo, in quanto $\bar{psi}_n$ non ha radici multiple in alcuna estensione. Potreste illuminarmi?
P.S.: mi scuso per aver caricato un'immagine, ma a scrivere tutto sarebbe stato troppo laborioso. In ogni caso, il file è sufficientemente leggero: se qualche moderatore ritenesse questa cosa lesiva del regolamento, elimini questo 3d senza alcuna remora.

Ho un problema con la seguente dimostrazione del fatto che l'$n$-imo polinomio ciclotomico $psi_n$ è irriducibile su $QQ$.

Non riesco a capire quando, circa a metà dimostrazione, afferma che $bar{q^2}$ divide $\bar{psi}_n$, da cui l'assurdo, in quanto $\bar{psi}_n$ non ha radici multiple in alcuna estensione. Potreste illuminarmi?
P.S.: mi scuso per aver caricato un'immagine, ma a scrivere tutto sarebbe stato troppo laborioso. In ogni caso, il file è sufficientemente leggero: se qualche moderatore ritenesse questa cosa lesiva del regolamento, elimini questo 3d senza alcuna remora.