Chinese remainder theorem
This follows from the Chinese remainder theorem.