Counting injective functions · Proofwise