ここで1つ問題を出してやろう:

自然数a,r,sは合同式r=s (mod a)を満たすとする。
自然数pに対してr/pが整数となったとき、s/pも整数であると言えるか？