theorem :: SURREALO:26

for X being set
for x, y, z being Surreal st z = [{x,y},X] holds
[{x},X] is Surreal