theorem :: FINANCE5:21

{+infty} is Element of Ext_Borel_Sets by Th5000, Th6000;