si f est un sous-espace vectoriel fini d'un véritable espace pré-hilbertien 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.