proper row-reduced echelon form; a few other things