入れ子区間定理

入れ子区間定理

実数の完備性から入れ子閉区間の共通点を示し、長さが0に縮むときの一意性を証明します。