for F being Field holds F is domRing