Sentence:  Now **f and **f must both be tangent points on the nth component in the f-plane ; otherwise by <WSD>Lemma</WSD> 1 the component would extend beyond these points . 
Meaning of the word marked with <WSD> tags:  a subsidiary proposition that is assumed to be true in order to prove another proposition