Suppose that f is a function from A to B, where A and B are finite sets |A| = |B|. Show that f is one-to-one if and only if it is onto.
Rigorous proof that surjectivity implies injectivity for finite sets