theorem Th35: :: SURREALI:35

for x, y being Surreal
for X, Y being set st x == y holds
divset (X,x,Y) <=_ divset (X,y,Y)