>>238
それがあったら、全ての変数で正しいんだから、問題の解を調べる必要がないじゃないですか?