17 пионеров нашли 180 грибов, причем никакие двое не нашли одинакового количества грибов. Докажите, что у какого-то пионера число грибов делилось на 5.