exo7 3322

Soient $H,K$ deux sev d’un ev $E$ de dimension finie. Montrer que $\dim H = \dim K$ si et seulement si $H \text{ et } K$ ont un supplémentaire commun (par récurrence sur codim$\,H$).