初等变换一定是可逆矩阵吗