Matrix/Row rank and column rank/Manipulations/Fact/Proof