杉浦光夫著『解析入門I』

p.227の定理4.2とp.231の定理5.3から定理5.4は自明であるにもかかわらず、する必要のない証明をしています。