yyu 5/3/2020 5:12 PM

シンプルな証明ですね。すばらしい

5:12 PM

これにはCoqもにっこり（本当か？）