Please answer the following. Also please do not copy and paste a previously answer chegg question.

4. 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) A. Set D What is the set D in the symbolic form nD,P(n) of the theorem you will prove? B. P(n) What is the predicate function P(n) in the symbolic form nD,P(n) of the theorem you will prove