theorem Th1: :: FCONT_3:1

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