Factorization of prime ideal extensions in Dedekind domains.