[離散數學]代數結構 習題9-12 (C)

代數結構 習題9-12 (C)小題

[(b*a)*a][(b*a)*a]
=b*b
習題詳解
寫說從(i) (a*b)*a=a導出

可是這個AS並不一定有交換性與結合性
請問這步是怎麼導出來的?
謝謝!