Surjection iff Right Cancellable/Necessary Condition

Theorem
Let $f$ be a surjection.

Then $f$ is right cancellable.