查看原题
试用确界原理证明有限覆盖定理.
                        
不再提醒