정리
프로토콜 정의