Sei R{\displaystyle {}R} ein Integritätsbereich mit Quotientenkörper Q(R){\displaystyle {}Q(R)}. Es sei
ein injektiver Ringhomomorphismus in einen Körper K{\displaystyle {}K}.
Dann gibt es einen eindeutig bestimmten Ringhomomorphismus
mit
wobei i{\displaystyle {}i} die kanonische Einbettung
bezeichnet.