theorem Th10: :: ANALOAF:10

for V being RealLinearSpace
for u, v being VECTOR of V st u,v // v,u holds
u = v