theorem Th6: :: JORDAN24:6

for r being Real holds Rotate (- r) = Rotate ((2 * PI) - r)