Rank

Echelon form


is in Echelon form:

Corollary

becomes in echelon form by repeating the transformation by elementary matrices

Rank


Corollary

is a maximum number of linear independent in column vectors
of

Corollary

Corollary

number of non zero vector of column vectors