1 是大于 "n" 与 |"c"| 的质数，我们可以得出 formula_65 模 ("k"+1) 为非零，从而该数为非零整数。引理 2. 对于充分大的 "k" ， formula_66 。使用 formula_68 和 formula_69 在区间[0,"n"] 的上限 G 和 H ，我们可以推出从而于是有这点足以完成对引理的证明。注意可以选择满足两个引理的formula_51，从而我们能得出矛盾。进而得以证明formula_47的超越性。
马勒的分类.在19