theorem :: QUATERN3:9

for z1, z being quaternion number st z is Real holds
z * z1 = z1 * z