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