State/Surjective functions have right inverses

 =Proof=