12/05/30 23:13:43.97
面積に注目するのイイですね。
その方針でも証明できた( ＾o＾)
今度はツォルンの補題が必要なくなった。
でも>>558-561より長い証明になってしまった。
構成的に議論するから、当たり前か。
まあ、書かなくてもいいよね(＾o＾)
12/05/30 23:13:43.97
面積に注目するのイイですね。
その方針でも証明できた( ＾o＾)
今度はツォルンの補題が必要なくなった。
でも>>558-561より長い証明になってしまった。
構成的に議論するから、当たり前か。
まあ、書かなくてもいいよね(＾o＾)