Definition und Kriterium des Eindeutigen Faktorisierungsringes (UFD)