theorem Th48: :: SURREALC:48

for x, y being Surreal st x == y holds
|.x.| == |.y.|