(a b)=1, (x, y)=최대공약수 x, y in Z,일 때,

(a+b, a^2 + b^2)=e 라면, a, b 가 둘다 홀 수 일 때, e=2고 아닐 때, e=1을 어떻게 증명할 수 있을까요