>>886 ディリクレ問題の一意性使えばいいんじゃね?