Пятеро детей нашли 9 грибов. Необходимо доказать, что по крайне мере двое из этих детей нашли одинаковое количество грибов с решением

У нас всего 9 грибов и 5 детей. Допустим, что все из них нашли по 1 грибу. 9 - 5 =  4 гриба осталось. Тогда тут несколько вариантов:

1) Четверо нашли по 2 гриба, один нашел 1 гриб

2) Трое нашли по 3 гриба, один нашел 2 гриба, один нашел 1 гриб

В этих случаях доказано, что двое нашли одинакового кол-во грибов