for V being non trivial RealLinearSpace
for u, v, w being Element of V holds
( u,v,w are_LinDep iff ( u = v or u = w or v = w or {u,v,w} is linearly-dependent ) )