制作状況(未リリース分)：最大値･最小値定理

２変数関数の最大値･最小値定理の証明を完成。
次は、一様連続性など。