Counting lemma (source code)

= Counting lemma
{wiki=Counting_lemma}