AFM.AQR.6.10: Use the pigeonhole principle to prove statements about counting.