Gerek koşul: $d>0$ olmak üzere $a,b$ sayılarının her ikisini de tam olarak bölen sayıların en büyüğü $d$ olsun. OBEB'in tanımından dolayı $t_1,t_2\in N$ olmak üzere, $a=d\cdot k_1, b=d\cdot k_2$ dir. Öte yandan hem $a$ 'yı hem de $b$ 'yi tam bölen bir başka tam sayı $f$ olsun. $(a,b)=d$ olduğundan $f>d$ olamaz. demek ki $f\leq d$ dir. Eğer $f=d$ ise $f|d$ olduğunu biliyoruz. Eğer $f<d$ ise her ikiside $a,b$ sayılarının tam böleni olduklarından $d=f\cdot p$ şeklinde yazılabilir. Bu da $f|d$ demektir.
Yeter koşulunun ispatını benzer olarak siz yapabilirsiniz.