theorem Th65: :: RINGFRAC:46

for A being domRing holds Total-Quotient-Ring A is Field