루드비히 선에서 정리될듯