theorem :: QUATERN3:47

for z being quaternion number holds (z *') " = (z ") *'