>>968
盤を 1x1のマスの集まりと見て、■マスを b_0
  2x2 ブロックの集まりと見たとき、■を含むブロックを b_1
  4x4 ブロックの集まりと見たとき、■を含むブロックを b_2
  ・・・・
  2^n x 2^n ブロック全体、b_n
とする。
 b_0 ⊂ b_1 ⊂ ・・・・ ⊂ b_n
これらの差分は、辺長が2ベキであるn個のL字形である。辺長は
  (1,2), (2,4),・・・・, (2^{n-1},2^n)
つまり、盤面全体が、■マスとn個のL字形とに分割される。

これらのL字形は、>>968 のやり方で半サイズのL字形に分解してゆけば、最後には
 □
 □□
に至る。