10 school students took part in a Mathematical Olympiad and solved 35 problems in total. It is known that there were students who solved exactly one problem, students who solved exactly two problems, and students who solved exactly three problems. Prove that there is a student who solved exactly 5 problems.