現在，17ページ目にさしかかったところ。
175ページの計算用紙のうち，まだ127ページ分残っています。
48ページ分が17ページにまとまっている，というのは単純計算過ぎで，
主定理やなんかもイントロダクションにまとまっているので，
48ページ分以上のことが17ページにまとまっていることもあります。
今後半分くらいは，同様の計算で省けるし，
場合にはあとは同様で1／8サイズになるところもあるから，
残りの127ページがそのままの量で論文化されることはありません。
でもどうかな。30ページは超えてしまうかもしれません。
今週はこれに集中できるので明日もまだまだ頑張ります。
