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