たとえ歴史的定理であっても、オリジナルの証明を読む機会なんてそうそうないよな