线性代数中的矩阵指数函数的某性质的证明,后两张小图中的内容,我不是很理解.