theorem Th31: :: RINGFRAC:24

for R being commutative Ring
for S being non empty multiplicatively-closed Subset of R holds
( 0. R in S iff S ~ R is degenerated )