取 b=e, 则 ax=e 有解 a_1, ya=e 有解 a_2
这样 a_1 = e a_1 = (a_2 a) a_1 = a_2 (a a_1) = a_2 e = a_2
故对任意 a ∈ G, 有 a_1 满足 aa_1=a_1a=e, 故 G 为群.