تابع g رو اينطوري تعريف ميكنيم : اگه p عدد اوله اونوقت g(p) يه
مقداردلخواه داره و اگه n = p[SUB]1[/SUB][SUP]a1[/SUP]p[SUB]2[/SUB][SUP]a2[/SUP]...p[SUB]k[/SUB][SUP]ak[/SUP] اونوقت g(n) = a[SUB]1[/SUB]g(p[SUB]1[/SUB])+a[SUB]2[/SUB]g(p[SUB]2[/SUB])+...+a[SUB]k[/SUB]g(p[SUB]k[/SUB])
در اين صورت تابع : f(x, y) = g(xy)+1 در رابطهي بالا صدق ميكنه .