Mirsky's theorem

Mirsky's theorem is a result in the field of linear algebra and matrix theory that pertains to the relationship between the rank of a matrix and the ranks of its associated matrices.