theorem Th600: :: FINANCE5:17

Intersection (ext_right_closed_sets 0) = {-infty}