その解の中でformula_15が最小になるものを選ぶとformula_16であることを証明する。