あと、>>327で低脳を晒しただけで放置しているこちらの質問にも答えてください

(3)
T[n-1]=2^(n-1)は2m+1で因数分解できるんですか？
2m+1を因数にもつのは引数に不定元nを含まないT[k]のみなので、論文内の議論は有限の項のみを取り出している状況でしか適用できません