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