Обязательно ли среди двадцати пяти монет достоинством 1, 2, 3, 5
копеек найдётся семь монет одинакового достоинства?