theorem Th12: :: RUSUB_5:12

for V being RealLinearSpace
for M being non empty Subset of V holds 0. V in M - M