Every normed space X can be isometrically embedded in a Banach space.
Κάθε νορμικός χώρος X μπορεί να ενσωματωθεί ισομετρικά σε ένα χώρο Μπάναχ.