State/Composing injective surjective or bijective functions yields the same

 =Proof=