>>526
一行目や二行目の行末の不等式を導出するため