定理 １ の t をとる。

　　　　　　　　　　t
　　i　　　　　　　△　　　　　　　　t
　△　→＜　　t　　 i　　＞→　　△　　＞→ i
i　　i　　　　　△　　△　　　　　i　　　t
　　　　　　　i　　　t　　t

したがって

[定理 ４]

任意の i ∈ S に対して

　i
　△　　＞→ i
i　　i

が成り立つ。