DM.SNT.2.e: Use the pigeonhole principle to solve packing problems to facilitate proofs.