证明零矩阵相乘得零矩阵。