Sea E un espacio métrico completo.