Pour démontrer que et sont supplémentaires, on montre d'abord qu'ils sont en somme directe, puis que cette somme est égale à .