2013-06-02 47枚目 再び絵を2個書きつつ5枚の増量。47枚になりました。 もうこれ以上入れても90分を超えてしまうでしょう。 とりあえずこれくらいにしておきます。 最後の定理の証明は入れていないけどもういいや。