弱矩阵a与b的行向量组等价,则矩阵a与b也等价