Factorization of prime ideal extensions in number rings.