证明：H关于矩阵乘法构成一个群。