Conversely, it is known that any weakly o-minimal ordered field must be real closed.
逆に、任意の弱 o-極小順序体は実閉でなければならない。