for V being RealLinearSpace
for v being VECTOR of V holds
( {v,(0. V)} is linearly-dependent & {(0. V),v} is linearly-dependent ) by Th10;