path 정리