신슨형의 정상화
11. 어노테이션 정리