Strong approximation theorem