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