Keyword: lema 1