for z being Quaternion holds |.(z *').| = |.z.|