中国の剰余定理
This can be proved using the Chinese remainder theorem.