:: deftheorem defines ^2 NEWTON03:def 2 :
for a being Complex holds a ^2 = a |^ 2;