:: deftheorem Def2 defines InvShift CFDIFF_1:def 2 :
for r being Real
for b₂ being Complex_Sequence holds
( b₂ = InvShift r iff for n being Nat holds b₂ . n = 1 / (n + r) );