Hi, I need a help on a proof on this theorem:

Given non-empty finite sets X and Y with |X| = |Y|, a function X -> Y is an injection if and only if it is a surjection.