
theorem Th28:
for r be Real holds {r} in L-Field
proof
    let r be Real;
    {r} is thin of B-Meas by MEASUR12:74;
    hence thesis by Th27,MEASUR12:def 11;
end;
