Which of these is the Chinese Remainder Theorem condition for a system of congruences $x \equiv a_i \pmod{n_i}$ to have a unique solution modulo $N = \prod n_i$?