Кто собрал больше грибов — математическая задача по арифметике

Упорядочим людей по возрастанию количества собранных грибов:  a₀ < a₁ < a₂ < ... < a₉.  Ясно, что  a₀ ≥ 0,  a₁ ≥ 1,  ...,  a₉ ≥ 9.  Оставим у каждого число грибов, равное его номеру, отложив лишние в сторону. Тогда у грибников останется  0 + 1 + ... + 9 = 45  грибов. Значит, в сторону был отложен ровно один гриб. Он мог быть взят только у грибника №9 (иначе у каких-то двух грибов было бы поровну).