추상 이론과 구체적 사례 간의 상호 검증 방법