计算题 设A，B，C分别为s×n，n×m与m×t矩阵，证明：rank（ABC）≥rank（AB）+rank（BC）-rankB。