theorem Th58: :: COMPLEX2:60

for a being Complex holds Rotate (a,PI) = - a