Strong Approximation Theorem