推论 5.4. 秩为等价不变量

等价的向量组有相同的秩.