theorem Th7: :: RLVECT_X:7

for V being RealLinearSpace holds rng (ZeroLC V) c= INT