path정리