
Let's assume
but doesn't exist in 
and also f(x) = y
So if y
then x
but we are also stating that 
this is only possible when x 
So this is a contradiction
Hence we can say that S2 is true.
Note: Notice that y can only exist because of x because f is one to one