が成立するなら、強双対性が成立することを意味する(ここで、relintは相対的内部であり、formula_9である)。