例えば
n^2015≡x(mod67)（x≧0)
とするとき、1~67の整数nについて、
xとnは1対1対応になる？

言葉で表しにくいけど、xはどのnに対しても被らない？