もしそうでなければ、は代数的数であり、オイラーの公式よりであるから、となる。これは、定理において,,,として得られる結果に矛盾する。