theorem :: QUATERN3:89

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