טוב אני אסמן: x=(a,b ) d ו- y=(na,nb) d אז מתקיים: 1) x |a ו- x | b לכן nx|na ו- nx|nb 2) אם t|na וגם: t|nb אזי קיימים l.l' כך ש: tl=na וגם tl'=nb כמו כן אנחנו יודעים שקיימים u,u' כך ש: au+bu'=x לכן: tlx+tl'y=nax+nbu=nx מצד שני: tlx+tl'y= t(lx+l'y) d לכן: t|nx כלומר על פי הגדרה nx הוא המחלק המשותף המקסימלי (על פי 1 הוא מחלק אותם, ועל פי 2 כל מספר שמחלק את na וגם את nb מחלק גם אותו). דרך קצת יותר אלגנטי זה להסתכל על הפירוק לראשונים של המספרים ואז מקבלים את זה כמעט מיידית אבל אני לא יודע אם הוכחתם את זה...