for X being RealBanachSpace st not X is trivial holds
( X is Reflexive iff DualSp X is Reflexive )