A note about a result of Eidelheit
finite-codimensional subspaces of non-normal Frechet spaces
scientific article; zbMATH DE number 3840591