Pilih \(N\in\Z^+\) dengan \(N\gt y/x\text{.}\) Karena \(x\gt0\text{,}\) perkalian dengan \(x\) memberi \(Nx\gt y\text{.}\)