lemma notes

Taxon: lemma 17