theorem Th15: :: SURREALI:15

for o being object
for X, Y, Z being set
for I1, I2 being Function st X \ {0_No} c= Z & I1 | Z = I2 | Z holds
divset (Y,o,X,I1) = divset (Y,o,X,I2)