ようやく一つ証明を終えた. パラメータを評価するためだけに証明するってのも面倒くさくて厭ですねぇ. 大体想像通りの帰着効率になるので, あとは代入して決めていけば良いんだけど, 6日までに終わるかしら.