Fundamental lemma of sieve theory