「証明書。ここに初段を証明する。右の者が初段ではないと仮定する。すると定義により左の者は初段より弱くなければならない。しかし左の者は段を有しているので少なくとも初段であり仮定に矛盾する。よって右の者は初段でなければならない。以上証明終わり。平成二十二年十月五日」
「証明書。ここに初段を証明する。右の者が初段ではないと仮定する。すると定義により左の者は初段より弱くなければならない。しかし左の者は段を有しているので少なくとも初段であり仮定に矛盾する。よって右の者は初段でなければならない。以上証明終わり。平成二十二年十月五日」
メキシコシティは標高2240mの高さにあるため、海面と比べて4分の3しか空気がない。飛行機で行ったら人によっては簡単に高山病になる。そんなところが一国の首都で2000万人以上も人が住んでいるなんて、冷静に考えたらなんかすごい。
世界史の話をするとき、「ね、ね、<任意の国名>って野蛮でしょ、キレイゴトばかり言ってるけど」といちいち言いたがる人はあまりに多い。ノイズだから黙れ。