Page "Chinese remainder theorem" Paragraph 14

Existence can be seen by an explicit construction of.

We will use the notation to denote the multiplicative inverse of, it is defined exactly when and are coprime ; the following construction explains why the coprimality condition is needed.