>>168
そんな素朴なアイデアで短く出来るわけもないことは明らか。

> 読むに耐えない理由は大抵、各ステップに新たなアイデアが必要だからじゃなくて、
> 「同様に」で済むところを一々書いているから。

形式的証明にあまりにも無知。