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