Chinese remainder theorem
This can be proved using the Chinese remainder theorem.