Prove A Function Is Injective