定式化から書き直し

昨日まで考えていた証明について、TeXでの入力作業を始めてみた。
全体の見通しを良くするために、問題の定式化から書き直すこととした。

今日の作業内容：TeX への入力 2h
今日のランチ：ひろBay お好み焼き
明日の予測作業時間： 3h