Une démonstration par l'absurde donne immédiatement le résultat.

En effet soient et deux sous-espaces de de dimension . Si , la somme des sous-espaces et est directe et l'on a

.

Or est un sous-espace de qui est de dimension , on a donc une absurdité.