何十年かして利害関係のある人間が少なくなった時点で、大衆向けの良質な
数学史のひとコマみたいな感じで事実関係を淡々とまとめてくれる人が出るといいな