Probs. 12 & 13 , Sec. 2.3, in Herstein's TOPICS IN ALGEBRA, 2nd ed: Existence of only right-sided identity and right-sided inverses suffice
To prove in a Group Left identity and left inverse implies right identity and right inverse