Let us consider then the set . We must have by pigeonhole principle that for some, in .
Hayaan isaalang-alang sa amin at pagkatapos ay itakda ang . Kailangan namin sa pamamagitan ng pitak na prinsipyo na para sa ilang, sa .