线性代数证明 A可逆时rank(AB)=rank(B)