Langkah 1. Karena \(S\) terbatas, ada \(L,U\in\R\) dengan \(L\leq s\leq U\) untuk setiap \(s\in S\text{.}\)

Langkah 2. Apa yang berubah jika kuantifikasi dibatasi pada anggota suatu \(V\subseteq S\text{?}\)