§7 The energy incrementation argument ではエネルギーを定義し、構造定理(Thm 3.5)と構造化回帰定理(Thm 3.3)の証明で用いるエネルギー増加法を抽象的な形で用意します。定義 (エネルギー) 関数の組 と 上の-加法族 に対して、エネルギー をと定義する。§6…