>>265
部分選択関数と任意の鎖が最大限をもつを詳しく