##Theorem: Let $aProof: Suppose the assumptions are satisfied, but $L>M$. We have to show that this is impossible, which means we need to derive a contradiction. By the Limit Law for differences, $\lim_{x\to a}\ (g(x)-f(x))=M-L$. Since $L-M>0$ by assumption, we can take this to be $\epsilon$ and deduce that there exists a $\delta>0$ such that if $0<|x-a|<\delta$ then $|g(x)-f(x)-(M-L)|M$ is impossible, and the theorem is proved.