theorem Th48: :: UNIROOTS:48
cyclotomic_poly 1 = <%(- (1_ F_Complex)),(1_ F_Complex)%>