Zu jeder endlichen Folge ( a 0 , … , a s ) {\displaystyle {}(a_{0},\ldots ,a_{s})} aus N {\displaystyle {}\mathbb {N} }
gibt es natürliche Zahlen p , n {\displaystyle {}p,n} derart, dass β ( p , n , i ) = a i {\displaystyle {}\beta (p,n,i)=a_{i}} für i ≤ s {\displaystyle {}i\leq s} ist.