Prove that an injective mapping from a finite set itself is bijective 
paran T.C.'s image