리 정리: 내용, 조건, 그리고 응용