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