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