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