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