>>722
証明したいとなると
a*2^n + b*2^(n+1) + c*2^(n+2) + d*2^(n+3)=x*(a*2^m + b*2^(m+1) + c*2^(m+2) + d*2^(m+3))と置いたとき、xは2^(n-m)になるため、かな。
勢いで書いたから括弧あってなかったらごめん。