ax_1^2ax_1=e\Rightarrow (ax_1)x_1(ax_1)=e \Rightarrow x_1(ax_1)=(ax_1)^{-1}