theorem Th29: :: SURREALO:29

for x, y being Surreal
for X1, X2, Y1, Y2 being set st X1 <==> X2 & Y1 <==> Y2 & x = [X1,Y1] & y = [X2,Y2] holds
x == y