问个数论

就是说能否证明对于给定的常数 $a$，在模 $p$（质数）下的所有 $x \in [0,p-1]$，有 $ax \leftrightarrow x$ 的双射存在。即 $ax$ 能恰好一次地取遍 $[0,p-1]$。