theorem Th3: :: FCONT_3:3

for x0, r1, g, r being Real st g = x0 + r1 & |.r1.| < r holds
( 0 < r & g in ].(x0 - r),(x0 + r).[ )