State/Injective functions have left inverses



=Proof=