>>297
X=｛x_λ｝_λ∈Λを、T型の図形x_λの集まりとして、平面上に各x_λが交わらずに散らばっているとする

T型の図形の
"長さ"を横棒と縦棒の短い方の長さ
"頂点"を横棒と縦棒の交差する点
と定義する

いま、Λが非加算であるとする

ここで、平面を格子点を頂点とする面積1の正方形で分割すると、正方形の数は可算なので
仮定よりどれか一つの正方形には非加算個のx_λの頂点が属する
これらx_λの全体をX_0と表す

このとき、A_n=｛x_λ∈X_0│ x_λの長さは1/n以上｝
とおくと、∪A_n=X_0、X_0は非加算であることから、あるnに対してA_nは無限集合
即ちある面積1の正方形の中に、頂点が属しかつ長さ1/n以上のものが無限個交わらずに存在する

ここからは簡単な議論で無限個入らないことがわかって矛盾導けるので省略