つまり
X_n = { (p, q) ∈ R^2 | p, q ∈ Z, 1 ≦ p ≦ 2^n, 1 ≦ q ≦ 2^n, (p - 1)(p - 2^n)(q - 1)(q - 2^n) = 0 }
の全ての異なる二点を結んだ直線分たちによって区切られる領域の数?