:: deftheorem defines director COMPLEX3:def 4 :
for a being Complex holds director a = a / |.a.|;