Démontrer que les sous espaces et sont supplémentaires revient à démontrer que .