Redirecting to Chinese remainder theorem