theorem Th11: :: RLVECT_X:11

for V being RealLinearSpace
for A being Subset of V holds 0. V in Z_Lin A