theorem Th15: :: ANALOAF:15

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