Σ_n a_n * 2^nを元の数とする(n≧0)と、
kビット左シフトしたらa_nが2^(n+k)の位の数になる(n≧0)。よってΣ_n a_n * 2^(n+k)＝(Σ_n a_n * 2^n)・2^kになる。□