Cyclotomic field
 
x
OK