a*b = 1*a*b*1 = b*b*a*b*a*a = b*(ba)(ba)*a = b*1*a = b*a
(Коммутативность для единицы обычно постулируется в определении единичного элемента)
a*b = 1*a*b*1 = b*b*a*b*a*a = b*(ba)(ba)*a = b*1*a = b*a
(Коммутативность для единицы обычно постулируется в определении единичного элемента)