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