proving (n)

Lemma proving
Part of speech (lemma) n