(austen-smith and banks(1999),lemma 3.2を参照)以下ではformula_75(有限集合)、formula_8は単調でプロパーとする.