theorem DIR: :: COMPLEX3:8

for a being Complex holds director (- a) = - (director a)