In this question you will prove by strong induction the following: For any natural number n prove that a class with n12 students can be divided into groups of 4 or 5. Before you start, you will need to translate this theorem in symbolic form, in the form of nD,P(n) Set D What is the set D in the symbolic form nD,P(n) of the theorem you will prove? P(n) What is the predicate function P(n) in the symbolic form nD,P(n) of the theorem you will prove? You will now prove the theorem by strong induction. No other method is acceptable. Be sure to lay out your proof clearly and correctly and to justify every step. Basic Step of the Proof Write the basic step of your proof here