броят на положителните числа, оценени двойки ( x , y ) sastisfying 4 x - 17 y  1 и x   1000 ( x е по-малко или равно на 1000 ) е
4 x - 17 y  1 y  4 x - 1  17  17  17  17  17  17  17  17  17  17  17  17  17  17  17  17  17  17   17  17  17  17  17  17  17  17  17  17  17  17  17  17  17  17  17   17   17  17   17    17        17
divide(divide(add(floor(divide(subtract(multiply(4, 1000), 1), 17)), const_1), const_2), const_2)