Polynomring über faktoriellem Grundring/Teilerfremd/Teilerfremd über Quotientenkörper/Aufgabe

Sei ein faktorieller Integritätsbereich mit Quotientenkörper

. Zeige: Wenn keinen gemeinsamen Teiler besitzen, so besitzen sie aufgefasst in ebenfalls keinen gemeinsamen Teiler.