theorem Th48: :: UNIROOTS:48

cyclotomic_poly 1 = <%(- (1_ F_Complex)),(1_ F_Complex)%>