Page "Elementary group theory" Paragraph 24

These evidently weaker axiom pairs are trivial consequences of A3 and A4.

We will now show that the nontrivial converse is also true.

Given a left neutral element and for any given then A4 ’ says there exists an such that.