theorem Th5: :: ANALOAF:5

for V being RealLinearSpace
for u, v being VECTOR of V
for a being Real st a <> 0 & a * u = v holds
u = (a ") * v