for z being Quaternion holds z ^2 = (- z) ^2