injective implies left inverse