Zeige, dass der achte Kreisteilungsring R 8 = Z [ X ] / ( X 4 + 1 ) {\displaystyle {}R_{8}=\mathbb {Z} [X]/(X^{4}+1)} faktoriell ist.