theorem Th8: :: ANALOAF:8

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