let r be Real; :: thesis: {r} in L-Field
{r} is thin of B-Meas by MEASUR12:74;
hence {r} in L-Field by Th27, MEASUR12:def 11; :: thesis: verum