13.9 方程式数目与未知数数目的一致