theorem :: FIELD_10:12

zeta = (- (1 / 2)) + (<i> * ((sqrt 3) / 2)) ;