Working on a diagram in Section 6
Added counterexample to ZZ[x]/(x^n-1) is a FGC