 Gauss lemma (number theory)

For an odd prime $p$ and $p\nmid a$, let $m$ be the number of least positive residues amongthat exceed $p/2$. Then