theorem Th68: :: SURREALR:68

for x, y being Surreal
for X1, X2, Y being set holds comp ((X1 \/ X2),x,y,Y) = (comp (X1,x,y,Y)) \/ (comp (X2,x,y,Y))