Chinese remainder theorem
The following is a special case of the Chinese remainder theorem.