であるから、不定積分の結果の式に(ln "g")"n" が含まれているとすれば、被積分関数の中にも(ln "g")"m" ("m" は "n" 以下)が含まれていなければならない。