diamond-plusがどうのってやつの続き

ここで書いていたもの。

diamond-plus - くるるの数学ノート

とりあえず頭の中でですがつながりました。diamond-plusからいけそうですが、元の証明とは似ても似つかないものすごくcombinatorialなものになっちゃいました。早く清書するよう自分にプレッシャーをかけるべくここに書いておこう。