M先生の「モーリーの定理」の論文の入力をする段階に来ている。
内角のモーリーの定理についてもM先生からの新稿が届いているのだが、それだけではなく外角のモーリーの定理についての入力をいましている。だが、論旨の整理ができたのが、昨日くらいでなかなか入力は進まない。
それができたら、内角のモーリーの定理の新稿へに置き換えをしなくてはならない。
はじめは外角のモーリーの定理は取りあげないつもりだったが、これを取り上げたほうがいいと思い出したから。というか、取り上げたほうがいいのはわかっていたのだが、前の入力で疲れてしまったためにつぎの機会にゆづるつもりだった。
だが、しばらくして少し疲労が回復してこれも取り上げたほうがいいと考えるようになった。
単に入力するのみならず、推論のギャップを埋めるという仕事もしている。これはずっとモーリーの定理に取り組んできた人にはなんでもないことが私のような全くの素人には理解できないことが多いからである。