for n being Element of NAT
for g being Function of I[01],(TOP-REAL n)
for f being Function of (Closed-Interval-MSpace (0,1)),(Euclid n) st g is continuous & f = g holds
f is uniformly_continuous