I thought I recognized the wording you used for the statement of this theorem and its proof and sure enough, it is taken word for word out of the book "Elementary Analysis: the Theory of Calculus" by Kenneth Ross (pg 50-51). Its stated with proof as theorem 9.9
If you have the proof in front of you, why are you asking if that's it? Is there some part of the proof you don't understand?