库拉托夫斯基定理怎么用