theorem :: DUALSP02:30

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