theorem Th28: :: MESFUN15:26

for r being Real holds {r} in L-Field