閉区間Iで連続な関数f(x)はそこで最大値、最小値をとる

といった定理です