Subset equals Image of Preimage implies Surjection/Proof 2

Proof
Suppose $f$ is not a surjection.

$T$ must have at least two elements for this to be the case.

Let one of these two elements not be the image of any element of $S$.

That is, let $b_1, b_2 \in T$ such that:
 * $\exists a \in S: f \paren a = b_1$
 * $\nexists x \in S: f \paren x = b_2$

Let $B = \set {b_1, b_2}$.

Then:

So by the Rule of Transposition:
 * $\forall B \subseteq S: B = \paren {f \circ f^{-1} } \sqbrk B$

implies that $f$ is an surjection.