On solvability of diophantine equations in $p$-adic numbers

We will discuss the following phenomenon: if a system of polynomial equations with integral coefficients is solvable modulo $n$-th power of a prime number $p$, and $n$ is an integer larger than some constant effectively dependent on degrees and heights of polynomials forming the system, then this system has a solution in $p$-adic numbers.