「ゆえに〜」の数行前でbmは{an}に含まれ、bm+1は{an}に含まれず、bm+2は{an}に含まれることがわかる。
そして、b1, b3, ......, bm, bm+2, bm+4, ......が{an}と共通することから、b2n-1となる項は全て{an}に含まれる。
{an}と{bn}の最初に一致する項がa1, b1であることからa1=b1であり、{Cn}は{an}と{bn}が共通する項を集めた数列なのでC1=b1=2となる。
先程述べたように{b2n-1}は全て{an}に含まれるので、Cn=b2n-1=2² ᴺ ⁻¹である。
こんな感じです!わかりにくい所があったらぜひ伝えてください!