Kanıtını ortaöğretim öğrencileri de yapabileceği için ortaöğretim kategorisine çevirdim.
$a$ ve $b$ pozitif tamsayılar olsun. $ab$ sayısı $a$ ve $b$'nin ortak katıdır. Demek ki $a$ ve $b$'nin pozitif tamkatları kümesi boş değilmiş. O halde bu kümenin bir en küçük elemanı vardır. Ortak katların en küçüğü tabii ki tek olmak zorunda çünkü $x\leq y$ ve $y\leq x$ ise $x=y$ olur.
iki tane olsun, $d_1,d_2>0$. En kucuk ortak kat ozelliginden $d_1\leq d_2$ ve $d_2\leq d_1$. O zaman $d_1=d_2$.
$x\mid c$ ve $y\mid c$ ise $d\mid c$.
en küçük ortak katın özelliği en küçük olması. bölme gibi işlemlere gerek yok. $x\leq y$, $y\leq x$ $\Rightarrow$ $x=y$.
Tanımını unutmuşum galiba. Haklısın, bu daha mantıklı tanım için.