* 정리.