로그 정리.