This is LaTeX code:

[latex]
\Rightarrow2*a_1+a_0=4k,k\in\mathbb{Z}
[/latex]