theorem Th4: :: FDIFF_2:4

for x0 being Real
for h being non-zero 0 -convergent Real_Sequence
for c being constant Real_Sequence st rng c = {x0} holds
( c is convergent & lim c = x0 & h + c is convergent & lim (h + c) = x0 )