theorem Th71: :: FINANCE5:14

for a being Real holds {a} is Element of Ext_Borel_Sets