ula_1也是巴拿赫空间，formula_34是双射，从而由开映射定理的系可知，其逆formula_35为有界算子。因为formula_36，故formula_4也是有界的。
推论.从这定理可得出黑林格-特普利茨定理──希尔伯特空间上处处定义的对称线性算子是有界的。