Chinese remainder theorem
Proof that (coprimality) assumption for Chinese remainder theorem is met.