lemma
<
logic
> A result already proved, which is needed in the proof of some further result.
(25 Mar 1995)