(Q1346677)

theorem that continuous functions on a closed subset of a normal topological space can be extended to the entire space, preserving boundedness if necessary