02 Pigeonhole principle