State/Bijections are injective and surjective functions

 =Proof=