theorem :: SURREALO:10

for x, y, z being Surreal st x == y & y == z holds
x == z by Th4;