要するに我々は

(m+g(n))/（g(m)+n）=k^(2l)

の右辺のように書けてしまう関数g(x)がないだろうということを証明しなければならない
なおgは正の整数値に対して正の整数値をとる関数なので単なる一次関数のような
ものではなく、ランダム関数のようなバラバラの値をとる関数も許されるので問題が
複雑になる