Доказательство. Пусть $ J$ и $ J_1$ будут две правые единицы группы, причем пусть $ J$ будет та единица, которая требуется 4-ой аксиомой определения группы.
Тогда справедливо равенство:
$$ J_1 J = J_1 \;\;\;\;\; (1.1)$$
Умножим обе части справа на $ J_1$: $ J_1 J J_1 = J_1 J_1 = J_1$
