This is LaTeX code:
[latex]
A\left(B'y\right)=B'\left(Ay\right) \Longrightarrow Ax = B'x \Longrightarrow y=x
[/latex]