定理 １の t をとる。

　　　　　　　　　　　　　　　k'_i
　　　　　　t　　　　　　　　△　　　　　　　　k'_i
i　→＜　△　→＜　　　t　　 i　　＞→　　△　　＞→ k'_i
　　　　　t　　i　　　　　△　　△　　　　　　t　　t
　　　　　　　　　　　　t　　　t　　t

より k'_i = i であり、２つ目の等式より
　　　　　　　i
t →＜　　△
　　　　　t　　i
である。よって

[定理 ３]
定理 １の t と任意の i に対して

　i
　△　　＞→ t
t　　i

同様に

　i
　△　　＞→ t
i　　t

　t
　△　　＞→ t
i　　i

が成り立つ。