let k be Real; :: thesis: {k} in Borel_Sets
[.k,k.] is Element of Borel_Sets by FINANCE1:8;
then [.k,k.] in Borel_Sets ;
hence {k} in Borel_Sets by XXREAL_1:17; :: thesis: verum