Each component which meets X lies entirely within Y.
Then C lies on no segment both of whose endpoints lie in K.
The advantage of using...... lies in the fact that......
The importance of these examples lay not only in lowering the dimension of known counterexamples, but also in...... [Note that the past tense of lie is lay, not “lied''.]