初等矩阵与初等变换的性质