:: deftheorem defines sqrt(-3) FIELD_10:def 9 :
sqrt(-3) = <i> * (sqrt 3);