Intersection (ext_half_open_sets 0) = [.0,+infty.] by Th60;
then [.0,+infty.] is Element of Ext_Borel_Sets by Th50;
hence A /\ [.0,+infty.] is Element of Ext_Borel_Sets by PROB_1:19; :: thesis: verum