Implement echelon_solve().