for R being domRing holds R is domRingExtension of R