T = T7

T = T⁷ のパズルは面白い。解けてないけど。

• A tree is the same as seven trees.

ナンセンス証明（nonsense proof）はできた。「ナンセンス証明が妥当である」というメタ定理があるけど、同型(bijection)を構成的・具体的に与えたい -- そうじゃないと面白くない。