2. Happily Ever After (20 points) Let S be the set defined as follows.
Basis Step: 4 E S; 7 E S
Recursive Step: if x,y E S, then + y E S.
Show that, for all integers n > 18, we have n E S Hint: Strong induction is the right tool here since the quantifier is not over S