展开 a的秩与a的伴随的秩关系证明