>>699
確かに右辺が具体的な整数値だったら、使えるけど、
文字式だと、ダメですね。698は取り消します。

ただ、候補が有限個に絞れたのは確かだと思います。
問題なのは、全ての候補を「表現できない」からですよね。