[定理２ つづき]

同様にして

　t
　△　　＞→ i
i　　t

　i
　△　　＞→ i
t　　t

が成立する。