for X being RealBanachSpace
for M being non empty Subset of X st X is Reflexive & M is linearly-closed & M is closed holds
NLin M is Reflexive