theorem Th5: :: RINGFRAC:5

for R being commutative Ring holds {(1. R)} is multiplicatively-closed