Cartan–Dieudonné theorem

The Cartan–Dieudonné theorem is a result in differential geometry and linear algebra that characterizes elements of a projective space using linear combinations of certain vectors. Specifically, it is often described in the context of the geometry of vector spaces and the projective spaces constructed from them.