Décomposition en produit d'irréductibles

Bonjour
Sans utiliser la notion d'anneau principal,
je dois montrer que tout élément non nul d'un anneau EUCLIDIEN est :
ou bien inversible
ou bien le PRODUIT FINI d'éléments irréductibles de A.

Cette question vient après la lecture de propriétés d'un stathme f : A\ {0} dans N.

VOICI MON RAISONNEMENT (je ne sais pas du tout s'il est correct, complet ou incomplet...)
Je pensais raisonner par l'absurde :
c'est-à-dire qu'il existe x non nul , non inversible et qui n'est pas décomposable en produit d'éléments irréductibles et tel que f(x) est le plus petit possible.
Soit P = {p1, p2, ......} l'ensemble des éléments irréductibles de x.
Je sais donc que x n'est, lui-même, pas irréductible: en effet, sinon il serait égal à l'un des éléments de l'ensemble P.
Je peux écrire x = y1 d où y1 est un diviseur strict de x (donc y non multiple de x) et je suppose que y est lui aussi indécomposable.
Je sais, par propriété, que f est croissante donc f (x) = f (yd) > f (d).
Rien que cette inégalité contredit la minimalité de f (x).
Donc je déduis que x est bien décomposable en produit d'éléments irréductibles.

MAIS POURQUOI l'élément x n'aurait qu'un nombre FINI de tels éléments?

Voilà mon idée : J'ai l'impression que si je réitère le procédé présenté ci-dessus, j'obtiens une suite d'éléments de l'ensemble des entiers naturels : les f (dk). Cette suite est décroissante dans N et minorée par f (1) car j'ai la conviction qu'après un certain nombre d'itérations, je n'obtiens plus que des éléments inversibles. Rappel : un élément inversible u est tel que f (u) = f (1) .

Mais il me manque des arguments, je pense...
Et donc à partir d'un certain rang, je voudrais affirmer que j'ai terminé ma décomposition et donc que l'ensemble des irréductibles intervenant dans la décomposition de x est FINI.
Merci d'avance pour votre aide.