書き直し

やったことはClaimの拡張であるということ。
それだけで全体の規模が変わってくるということ。
というわけで全体の証明の概略位は書かないと困るよということ。
直していると、面倒臭い。
とりあえず第3章の方を書き直し。From Worst-case to Average-caseはまた明日。