Bu bahsettiğin bilindik bir önerme belki ispatlamak yardımcı olabilir; 4 on bilgi
1)1 sayının carpanlarindan sayı doğrusunda en uzak olanlar en büyük toplamı verir.
2) 2 sayının ebob ve ekoklarinin çarpımı o 2 sayının çarpımına eşittir.
3)[x,y]>(x,y)
4)(x,y)≤x,y≤[x,y]
ebob(x,y)→(x,y) ve ekok(x,y)→[x,y] olarak tanimladim.
(a,b)=m ise a=mx ve b=my ((m,x,y)=1) olur.
Ve [x,y]=mxy bulunur. Buradan bu ikisinin çarpımı [x,y]⋅(x,y)=m2xy....(2) bu sayılardan bütün çarpanlar aralarında asal dolayısıyla en uzak mesafeli olanlar m ve mxy olur....(1,3) Buradan max{a+b}=(a,b)+[a,b] olur.
Q.E.D