theorem Th4: :: RLSUB_1:4

for V being RealLinearSpace holds {(0. V)} is linearly-closed