17.9 유일성 표현의 형식화