たしかに中国剰余定理を使うと当たり前のことだと思えるようになってきたわ