In this question you will prove by strong induction the following: Let, an be the sequence defined a1=4,a2=9, and ak=ak1+2ak2+2 For any positive integer k3, Prove that an=52n11forallintegern1 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