Chinese remainder theorem