In Simachew's "A Survey on Euclidean Number Fields", he said that Gauss used the existence of a Euclidean algorithm in Gaussian integers to prove that it has unique factorization. Also, he said that Wantzel observed that norm-Euclideanity implies unique factorization in cyclotomic integers. And Kummer used this to prove some stuff about some cyclotomic integers, which then paved the way to the desire of determining Euclideanity of number fields. In Lemmermeyer's survey, "The Euclidean Algorithm in Algebraic Number Fields", he said that Dirichlet was "the first mathematician who emphasized that the existence of a Euclidean algorithm implied unique factorization" in 1847. However, Wantzel's observation was also around 1847.
So my question is, in this case, was it Dirichlet who emphasized that it is true "in general"? Like not just norm-Euclideanity, and not just on a specific ring of integers?