for x, y being FinSequence of COMPLEX holds |(x,y)| = |(y,x)| *'