This is LaTeX code:

[latex]
\exists b_1 ,b_2 \in \left\{ {1,...,p - 1} \right\}
[/latex]