theorem Th13: :: ANALOAF:13

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