Monde님 그 정리가 뭔지 그것만 좀 올려주실 수 있겠습니까? 그 책을 가지고 있지 않아서요. 재미있을 것 같으면 한번 사보게요. 사람이 아는 정리를 기계는 모른다라고 했는데, 글쎄요.....