:: deftheorem defines zeta FIELD_10:def 10 :
zeta = ((- 1) + (<i> * (sqrt 3))) / 2;