theorem Th30: :: NORMSP_4:23

for X, Y being RealNormSpace
for A being Subset of X
for B being Subset of Y
for L being Lipschitzian LinearOperator of X,Y st L is isomorphism & B = L .: A holds
( A is dense iff B is dense )