Matrix/Row rank and column rank/Fact
              < Matrix < Row rank and column rank 
 
            
          Let be a field, and let denote an -matrix over .
 Then the
column rank coincides with the
row rank.The rank equals the number from fact.