Suppose S is a recursively defined set, defined by - the number 1 is in S - if n is in S, then so is 3n + 2 - if n is in S, then
so is 5n - 1 - if n is in S, then so is n + 7. Suppose you want to prove using structural induction that all members of S have a certain property. What do you have to prove in the base step?