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