http://imgur.com/YUx3O7P.jpg
http://imgur.com/92t4foy.jpg

↑は松坂和夫著『解析入門3』です。

定理2の系の証明はどう記述すればいいのでしょうか?

証明を書いてください。