theorem Th2: :: CFDIFF_1:2

for r being Real st 0 < r holds
InvShift r is convergent