中国の剰余定理って知らなかったけど、TAOCPにあったような気もする。ユークリッドの互除法と関係あるのかな。