Add description about lemma