>>348
× "((0)000)" => C0(C0(0),0,0,0,0) => Γ_0
○ "((0)000)" => C0(C0(0),0,0,0) => Γ_0

ミスが多くてすいません。

Seq の定義は、定義式の数を減らすため、>>347 の定義と微妙に変えてあります。