theorem Th55: :: COMPLEX2:57

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