H è la lista di funzioni:
H : = { funzioni : N →N, s f(#V s)/(n-k)(k+1) = f((s+2)(n-k)(k+1)/(n-k)(k+1))= s+2} s = 0 , ... , S-2 .