theorem Th7: :: RLVECT_X:7
for V being RealLinearSpace holds rng (ZeroLC V) c= INT