theorem :: QUATERN3:31

for z1, z2, z3 being Quaternion holds Rea ((z1 * z2) * z3) = Rea ((z3 * z1) * z2)