In a classroom of 45 students, each student must choose at least one of the following subjects: Mathematics, Science, and History. If 20 students choose Mathematics, 25 choose Science, and 15 choose History, prove that at least 5 students are enrolled in at least two subjects. Let's think step by step and output the final answer within \boxed{}.
user