theorem Th6000: :: FINANCE5:20

Intersection (ext_left_closed_sets 0) = {+infty}