[윤주영]

문제에서 요구하는 범위가 어떤것인지 잘 이해가 되지 않습니다.
+hat, -hat, assign_hat 을 새로 정의하고 이들이 안전하게 요약되었음을 보인후, 이들을 사용해서 모든경우에 alpha(VE)가 V_hat 보다 작은지를 보이면 되는건가요?
아니면 +hat, -hat, assign_hat 이 어떤 함수인지는 정확하게 알수 없는 상태에서 안전하게 요약되었다면 언제나 맞는 방향으로 증명을 진행해야 하는건가요?

[진민식]

hat_+ 가 + 를 안전하게 요약한다는 말은 hat_+ 와
+ 사이에 "어떤"관계가 있다는 말입니다.
hat_+, +도 함수 이므로 함수를 안전하게 요약하는 방법을
생각하시면 "어떤"관계를 찾으실 수 있을 것 입니다.

증명은 hat_+, +사이의 "관계"를 이용하게 될 것입니다.

(다른 operator들도 마찬가지 입니다.)