Entonces, hay una extensión g : X → [a, b] de f, o sea que