現在２０２０年８月２３日６時０８分である。麻友「昨日は、結局、書いてこなかったわね」私「ごめん。ちょっと、ブルバキの公理系と、私達の公理系が、同値であることを、証明しようと思って、のめりこんでいたんだ」若菜「それで、できたんですか？」私「…

キラキラ星変奏曲（変奏１３）