theorem Th70: :: JORDAN2C:86

for n being Nat
for g being Function of I[01],(TOP-REAL n)
for a being Real st g is continuous & |.(g /. 0).| <= a & a <= |.(g /. 1).| holds
ex s being Point of I[01] st |.(g /. s).| = a