Surjection iff Right Cancellable/Sufficient Condition

Theorem
Let $f$ be a mapping which is right cancellable.

Then $f$ is a surjection.