si f est un sous-espace vectoriel de dimension finie d'un espace préhilbertien réel e, alors f et f orthogonal sont supplémentaires.
e f yamabya emwisi syebikaheka esyondengo omo kyanya kyobuheki bwekwenene e, nibwambu f ne f nibyeriongerwako.