Orthogonality in smooth countably normed spaces
projection theorem in a countably normed space
scientific article; zbMATH DE number 7464999