Infinite pigeonhole principle (source code)

= Infinite pigeonhole principle

If an infinite set is partitioned into finitely many parts, at least one part is infinite.