中国の剰余定理
Proof that (coprimality) assumption for Chinese remainder theorem is met.