This is LaTeX code:

[latex]
 
ab_1 \equiv ab_2 \left( {\bmod p} \right) \Rightarrow b_1 \equiv b_2 \left( {\bmod p} \right)
 
[/latex]