F..5.1.1 (ii) $\THEN$ (i) の証明:

$I\ne\emptyset$ であるから、 $\forall t\in I$ は $\exists t_0\in I$ を導く。