The congruence describing all solutions has modulus \(mn\) and is the single class satisfying both conditions. The option with modulus \(m+n\) and product \(ab\) does not match the theorem.
The Chinese remainder theorem states that a system of linear congruences with pairwise coprime moduli has a unique solution modulo the product of those moduli.