let a be Complex; :: thesis: director (- a) = - (director a)
director (- a) = (- a) / |.a.| by COMPLEX1:52;
hence director (- a) = - (director a) ; :: thesis: verum