Remark — Chain of logical dependencies
The theorems of this chapter form a chain: each result “stands up” thanks to those that precede it.
The fundamental theorem of integral calculus rests on the integral mean value theorem, which in turn uses Weierstrass and the intermediate value theorem.
The FTIC “stands up” because the integral mean value theorem “stands up”, which in turn uses Weierstrass and the intermediate value theorem.
Links
Topics: Calculus theorems
Concepts: Intermediate value theorem · Integral mean value theorem · Weierstrass’s theorem · Fundamental theorem of calculus