“矩阵等价的充要条件是它们类型相同且秩相等”这个命题是不是错的?如果正确这么证明?