Dimension theorem for vector spaces

The Dimension Theorem for vector spaces is a fundamental result in linear algebra that relates the dimensions of certain components of vector spaces and their subspaces.