theorem :: QUATERN3:47

for z being Quaternion holds (z *') " = (z ") *'