집합-부분합 정리의 역링크