theorem Th68: :: SURREALC:68

for y being Surreal
for r being Real st r <> 0 holds
omega-y ((uReal . r) * (No_omega^ y)) = Unique_No y