Soient un espace vectoriel de dimension finie et et deux sous-espaces vectoriels de . Montrer que et sont supplémentaires dans si et seulement si les deux conditions suivantes sont vérifiées
- et sont en somme directe.

Soient un espace vectoriel de dimension finie et et deux sous-espaces vectoriels de . Montrer que et sont supplémentaires dans si et seulement si les deux conditions suivantes sont vérifiées