theorem :: NORMSP_4:29

for X being RealBanachSpace
for Y being Subset of X st X is Reflexive holds
ClNLin Y is Reflexive