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