for c being Quaternion holds - c = (- 1q) * c