2014-02-07 うおっ!? 「入力すべきことを入力し忘れた? 今からその部分を挿入すると定理番号とかズレまくる…」 とショックを受けていたら,単に17ページの印刷をし忘れていただけでした。あぶないあぶない。