さらに、ディリクレの関数が0のときは:\\pi^\\,(x\\in\\Q)になりえないので、数列の冪指数が無理数であることを確認する.
ので、数列の冪指数が無理数であることを確認する