보렐-칸텔리 보조정리의 역링크