theorem :: SURREALO:28

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