大学学部レベル質問スレ 3単位目 [無断転載禁止]©2ch.net

で、 >>755 のなんかすっきりしないところを選出関数を使って書き換えればいいだけです。

まさに画竜点睛ですね。

ですが、証明の本質とは何の関係もありません。