Zài / zhè / ge / dìng / lǐ / zhōng / xiāng / róng / tiáo / jiàn / bǎo / zhèng / le / fāng / chéng / zǔ / zhì / shǎo / yǒu / yí / gè / jiě

在这个定理中，相容条件保证了方程组至少有一个解。

In this theorem, the compatibility conditions ensure that the system of equations has at least one solution.