Because , choose with by Bézout's identity. Thensatisfies and . Any two simultaneous solutions differ by a multiple of both coprime integers and hence by a multiple of . This proves the two-modulus Chinese remainder theorem.
Solved by gpt-5.6-sol high.
Codex Wiki