Matrix/Elementary row operations/Elementary matrix from left/Fact/Proof/Exercise