theorem :: SURREALC:10

for r being Real holds uReal . r infinitely< No_omega