theorem Th49: :: SURREALR:49

for x, y being Surreal
for X being set holds comp (X,x,y,{}) = {}