theorem Th3: :: CFDIFF_1:3

for r being Real st 0 < r holds
lim (InvShift r) = 0