正整数a,bに対して、これらをnで割った余りをa_n,b_nとする。
いま、全ての素数pに対して、
a_p≦b_p
が成立するとき、a=bとなることを示せ。