Injection from Finite Set to Itself is Permutation