证明  设 的分块形式与定义 中单位矩阵的分块形式一样，根据矩阵的乘法得

右乘类似可得.

注   在使用分块初等矩阵乘法时，必须注意该种分法能够使得分块乘法的运算能进行.