反证法，设 M ; m ⇒ m − M ; 0 M ; m \Rightarrow m-M ; 0 M0 ，因为 ε \varepsilon ε 大于 0 的任意性，所以可以取 ε = m − M \varepsilon = m -M ε=m−M 代入 M ; m − ε M ; m - \varepsilon M>m−ε 中可得 M ; m − ( m − M ) = M M ; m - (m -M) = M M>m−(m−M)=M 矛盾。