如果$a^{\varphi(b)}\equiv1(\mod b)$

那么$a,b$互质.

求问这个命题的真假？