비탈리 덮음 보조정리