ガウスの消去法
A matrix being in row echelon form means that Gaussian elimination has operated on the rows, and