броят на положителните числа, оценявани по двойки ( x , y ), удовлетворяващи 4 x - 17 y  1 и x   1000 ( x е по-малко или равно на 1000 ) е
"От нас се иска да намерим целочислени решения за x , y . няма нужда да се прилага евклидиански алгоритъм тук : x  x  + bn  3 получаваме : y  3 и x  13 . трябва само да решим за x . Общото решение за x ще бъде: x  x  + bn  13 + n .
divide(divide(add(floor(divide(subtract(multiply(4, 1000), 1), 17)), 1), const_2), const_2)