有解凡是线性无关的方程一定有多余的方程，删掉这些多余的方程后，线性无关就变成了线性相关