\quad\Rightarrow\quad b^{\varphi(a)} \equiv 1(mod\ a)