theorem Th51: :: COMPLEX2:53

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