Strong Approximation Theorems