composite 정리