Prove the following statement using Structural Induction.

The set S is defined recursively as follows:

3 S

If x S and y S, then x + y S

Prove that S is the set of all positive integers that are multiple of 3.