theorem :: SURREALN:52

for r being Real holds
( born (uReal . r) = omega iff r is not Dyadic )