theorem :: QUATERN3:89

for z being quaternion number holds z ^3 = - ((- z) ^3)