theorem Th6: :: NDIFF10:6

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