lemma

(pl lemmas)

допоміжне твердження

лема