theorem :: SURREALC:65

for r being Real st uReal . r == 0_No holds
r = 0