section_heading: Dokaz
paragraph_text: Konačno, ako su <math>x, x_0</math> dva rješenja tog sustava, onda je <math>x \equiv x_0 \pmod {m_1}</math> za <math>j = 1, 2, ..., r</math>. Zbog toga što su <math>m_j</math> u parovima relativno prosti, dobivamo da je <math>x \equiv x_0 \pmod {m}.</math><ref>Andrej Dujella, Teorija brojeva, Školska knjiga, Zagreb, 2019.