Let be a closed subset of a Normed Space
and let be bounded continuous function.
Then extends continuously to to some function and .