This is LaTeX code:
[latex]
a^{\varphi(m)}\equiv1(mod~m)
[/latex]