Este teorema se demuestra usando el teorema de la función abierta, y es casi imprescindible para resolver ciertos problemas de análisis funcional que no se pueden resolver con técnicas menos avanzadas.