Que $X$ ser un espacio de Banach y $M,N$ subespacios cerrados. Si se cierra la gama de transformación lineal $x\to (x+M)\oplus (x+N)$ $X$ $X/M\oplus X/N$ mostrar que $M+N$ es cerrado.
o usando $M^\perp+ N^\perp $ norma cerrada para mostrar se cierra $M+N$