theorem Th26: :: SURREALI:26

for x being Surreal
for Inv being Function st x is positive & No_inverses_on ||.x.|| c= Inv holds
inv x = [(Union (divL (||.x.||,Inv))),(Union (divR (||.x.||,Inv)))]