theorem Th40: :: RINGFRAC:29

for R being commutative Ring
for S being non empty multiplicatively-closed Subset of R holds S ~ R is Ring