>>359
存在することの証明はできそう。
ただ、それが整数界で1つしか存在しない証明っていうのは厳しそう…。