设A是n×m矩阵，B是m×n矩阵，E是n阶单位矩阵，其中n＜m，若AB=E，证明：B的列向量组线性无关。

在温度不太低和压力不太高的情况下，使用理想气体状态方程式计算真实气体，计算结果有误差。