Bilangan \(p+q\) adalah batas bawah bagi \(A+B\text{,}\) jadi \(p+q\leq w\text{.}\) Jika ketat, unsur \(a\in A\) dan \(b\in B\) dapat dipilih dengan \(a+b\lt w\text{,}\) bertentangan dengan sifat \(w\) sebagai batas bawah. Jadi \(w=p+q\text{.}\)