theorem Th2: :: SURREALC:2

for x being Surreal st x is positive holds
x,x are_commensurate