4.7. Pigeonhole Principle and Its Application Notes | Discrete Structure BIT | FWU | TABFlux