Sentence:  Thus 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 <WSD>then</WSD> the difference between C and **f near Q would not be a monotone function . 
Meaning of the word marked with <WSD> tags:  in that case or as a consequence