theorem Th23: :: TIETZE_2:23

for n being Nat
for T being TopSpace
for A being closed Subset of T st T is normal holds
for X being Subset of (TOP-REAL n) st X is compact & not X is boundary & X is convex holds
for f being Function of (T | A),((TOP-REAL n) | X) st f is continuous holds
ex g being Function of T,((TOP-REAL n) | X) st
( g is continuous & g | A = f )