theorem Th56: :: COMPLEX2:58

for a being Complex
for r being Real holds Rotate ((- a),r) = - (Rotate (a,r))