for X being RealNormSpace holds DualSp X is RealBanachSpace