reduced echelon form 定義