Preimage of Subset under Composite Mapping/Proof 2

Proof
Let $x \in S_1$.

Then:

Hence the result.