ƏBOB(m, n) = d , m=d*x, n=d*y olsun. Bu halda x və y tam ədədləri qarşılıqlı sadə olur. Yerinə qoyub ixtisar apardıqda tənlik x² + xy + y² = x²y²d² olur. Mod x də baxsaq alırıq ki, x|y². Deməli, x-in ixtiyari sadə böləni həm də y²-nin, eyni şəkildə, y-in də bölənidir. x ilə y qarşılıqlı sadə olması şərtindən alırıq ki, nə x nə də y-in sadə böləni yoxdur. Deməli, (x, y)=(1, -1), (1, 1), (-1, 1), (-1, -1). m=d*x, n=d*y yerinə qoyub yoxladıqda (m, n) = (1, -1), (-1, 1) tapılır.