right inverse injective