theorem Th53: :: SURREALR:53

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