theorem Th66: :: SURREALC:66

for x being Surreal
for r being Real st x is positive & r <> 0 holds
|.((uReal . r) * x).|,x are_commensurate