>>785の「>>766-76の内容」は「>>766-769の内容」と訂正。
そりゃ、即興であんな長い証明を書いたら間違っている可能性が高いわな。

>>780
意味がある命題はある。
が、これを教えることはよろしくないから、いわない。