楽天ブックスでシンプルに目的の本を探す。証明論入門 (竹内外史/八杉満利子)の本を買う。