A=BxP4-C …….

여기까지는 이해를 했나요?

“네. 그건 알고 있어요. 45를 12로 나누면 Ro] 3이고 나머지 가 9이므로 45=12×3+9라고 쓰는 것과 같은 거잖아요.”

맞아요. 잘 알고 있군요. 그럼 이제 식을 약간 바꾸어 놓도록 하겠습니다. 앞에서 A=axG, B=) xGe}al 했으니까 (※%)식 에서 &와2 대신에 2×(6와 0 ×로 바꾸어 SES 합시다. 그 리고 이 AS (라고 할게요.

A=BxP+C (*)

axG=bxGxXP+C ……. 이제 (※)식을 Coll 대해서 풀어 주면 C=axG—bxG xP7t 됩니다. 그런데 여기서 2×(와 bxGxPo] G7} 똑같이 들어 있으므로 6=(0-ㅡ0>×ㅠ[)(라고 쓸 수 있답니다. 이 과정 어렵지요. 결국 B=bxGo|zl ㅇ=(@-ㅡ6ㅇ×ㅠ)(3이므로 와 C2] 최대 Stet 6가 되는 것이지요.

그래서 증명이 끝났습니다.

rlo oN