El siguiente teorema generaliza un resultado bien conocido en formula_42 a cualquier espacio normado sea de dimensión finita o infinita: