Prove A Function Is Bijective