theorem NISOM12: :: DUALSP02:28

for X, Y being RealNormSpace st ex L being Lipschitzian LinearOperator of X,Y st L is isomorphism holds
( X is Reflexive iff Y is Reflexive )