Karena \(m'\) adalah batas bawah dan \(m\) yang terbesar, \(m'\leq m\text{.}\) Sebaliknya, karena \(m\) adalah batas bawah dan \(m'\) yang terbesar, \(m\leq m'\text{.}\)