5. Recall that a function f is onto if, and only if, for every element y
in the co-domain, there exists an element x in the domain such that f(x) = y. To show that
a function f: XY is onto,
you usually suppose that y is any element of Y and show that there
is an element x of X with f(x) = y.