theorem Th22: :: TIETZE:22

for r being Real
for X being set
for f, g being real-valued Function st f - g,X is_absolutely_bounded_by r holds
g - f,X is_absolutely_bounded_by r