展开 证明博雷尔集是可测集