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