Пять мальчиков нашли 9 грибов докажите, что хотя бы два из них нашли грибов поровну

Существует всего 4 возможных различных совместных варианта кол-ва грибов у человека:
0,1,2,3
так, как 4<5, хотя бы у двух из них будет одинаковое кол-во грибов