lemma

<logic> A result already proved, which is needed in the proof of some further result.

(25 Mar 1995)