Sentence:  <WSD>Thus</WSD> if e is sufficiently small , there can be only one intersection of C and **f near Q , for if there were more than one intersection for every e then the difference between C and **f near Q would not be a monotone function . 
Meaning of the word marked with <WSD> tags:  (used to introduce a logical conclusion) from that fact or reason or as a result