theorem :: RLVECT_3:9

for V being RealLinearSpace holds {(0. V)} is linearly-dependent by Th8;