Let f:A->B where A and B are nonempty. Prove that f(S1 U S2) = f(S1) U f(S2)