任意の整数a,bに対して
a≡b(mod n)
を満たすnは1とa-b以外に存在するか