Deutsch: ${\displaystyle R}$ ist ein Unterring von ${\displaystyle S}$ und ${\displaystyle T}$ eine multiplikative Teilmenge von ${\displaystyle R}$ (und daher natürlich auch eine von ${\displaystyle S}$). Daher können wir bei beiden Ringen ${\displaystyle T}$ als Nenner einführen; was dabei herauskommt, ist das obige kommutative Diagramm.