theorem Th1: :: CURVE:1

for a, b, d being Real
for f being PartFunc of REAL,REAL st a < b & [.a,b.] c= dom f & f | [.a,b.] is continuous & f . a < d & d < f . b holds
ex c being Real st
( a < c & c < b & d = f . c )