theorem :: FINANCE5:18

{-infty} is Element of Ext_Borel_Sets by Th500, Th600;