Claim:Functions with right inverses are surjective

From CS2800 wiki
If a function [math]f : A \href{/cs2800/wiki/index.php/%5Cto}{\to} B [/math] has a right inverse [math]g : B \href{/cs2800/wiki/index.php/%5Cto}{\to} A [/math] then [math]f [/math] is surjective.