元素。
证明.选择任何formula_5。如果formula_6，则不必证明；以下设formula_7。对于每一个formula_8，定义formula_9。我们声称对于所有的formula_10，以下等式都成立：我们用数学归纳法来证明。对于formula_12的情况，命题是成立的，这是因为：假设命题对于某个formula_14是成立的。那么，我们有：从第三行到第四行，我们用到了归纳假设。根据数学归纳法原理，对于所有的formula_15，以上的命题都成立。设for