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ı t1,t2∈N olmak üzere, a=d⋅k1,b=d⋅k2 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≤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⋅p şeklinde yazılabilir. Bu da f|d demektir.
Yeter koşulunun ispatını benzer olarak siz yapabilirsiniz.