矩阵秩的相关结论证明及举例