디캐배 선에서 정리