t ∈ S を >>61 定理１の t とする。

　　　　　　　　　　t
　t　　　　　　　　△　　　　　　　　　　　　　t
　△　→＜　　t　　 t　　　　＞(T1)→　　△　　＞→ i
t　　i　　　　　△　　△　　　　　　　　　　t　　k_i
　　　　　　　t　　　t　　k_i

よって

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

　t
　△　　＞→ i
t　　i

が成り立つ。