关于线性代数证明能不能使用等价代换的方法