 Ideal approximation theorem

For finitely many distinct prime ideals, one can prescribe finite valuation data simultaneously by the Chinese remainder theorem.