for V being RealLinearSpace
for u, v, w being VECTOR of V holds (w - v) + (v - u) = w - u