theorem :: FIELD_10:13

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