for x, y being Element of COMPLEX holds |.(x .|. y).| = |.x.| * |.y.|