recursion of lemma-2