Proof of a fact about the Initial value problem of Matrix Equation

• 关于矩阵方程的初值问题的一个事实的证明