实变函数证明题:集合可测当且仅当该集合与它的边界集的交是可测的