设L_k为指标为k的初等下三角阵，即 （除第k列对角元下元素外，和单位阵I相同） 求证当i，j>k时，L_k=I_ijL_kI_ij也是一个指标为k的初等下三角阵，其中I_ij为初等排列阵。