theorem Th14: :: SURREALI:14

for a, b being object
for X, Z being set
for I1, I2 being Function st X \ {0_No} c= Z & I1 | Z = I2 | Z holds
divs (a,b,X,I1) = divs (a,b,X,I2)