15/03/14 12:14:12.58 1ktc1FSG.net
いや、ここでは証明をする気はないんだ
原則としてね。このアスキー制限の掛かった板は、数学の証明には向かないから
だから、私は他のホームページやブログからの紹介とコピペをベースにするんだ
今回は出題だったから、むりむり証明を行った
が、「(n"'"の置き方をミスってるような気がするが)」>>503とご指摘のようにそうかもしらん
mathoverflow流なら、もう少し表現を工夫するところだろう
well-definedの議論も、「べつにー」と
ただ、well-definedを自分なりに深く考える機会になったし、英wikiと日wikiで記載が異なるし、それぞれ読み比べてみれば面白かったと