theorem Th50: :: COMPLEX2:52

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