>>785
全部負になることはないことを証明すればいいんじゃないのか?