不動点定理にせよ、有限性定理にせよ
結局解析学における存在定理の基礎
位相はその基礎の基礎