若方程组的解满足，则_______。