for x, y being Real
for u, v being Element of REAL 2 st u = <*x,y*> & v = <*y,x*> holds
|.u.| = |.v.|