for z1, z being Quaternion st z is Real holds
z * z1 = z1 * z