If a Banach space X is the internal direct sum of closed subspaces M1, ..., Mn, then X is isomorphic to M1 ⊕ ... ⊕ Mn.
Αν ένας χώρος Μπάναχ X είναι το εσωτερικό ευθύ άθροισμα των κλειστών υποχώρων M1, ..., Mn, τότε X είναι ισόμορφος με M1 ⊕ ... ⊕ Mn.