若 p∤a1p\nmid a_1p∤a1,则 v(an+1a1)≥0v(\frac{a_{n+1}}{a_1})\ge0v(a1an+1)≥0 且 v(ana1)≥0v(\frac{a_n}{a_1})\ge0v(a1an)≥0。由于 TnT_nTn 是整数,最后一项也须满足 v(anan+1)≥0v(\frac{a_n}{a_{n+1}})\ge0v(an+1an)≥0。故对每个 n>Nn>Nn>N 有 vp(an+1)≤vp(an)v_p(a_{n+1})\le v_p(a_n)vp(an+1)≤vp(an)。