A セクション４での結果の証明 A.1 (19)の証明 Janssen他(2007)、定理１では、 (30) が証明されている。ただしは(20)でのものと同じでありは, の解として非明示的に定義される。複雑なため(30)の導出を付録A.3で手短に繰り返している。Janssen他(2007)、補題…