>>510の続き

Fck(a,b,c,1)=Fck(a,b,c)
Fck(a,b,1,d)=Fck(a,b,d)
Fck(a,1,c,d)=Fck(a,c,d)
Fck(1,b,c,d)=Fck(b,c,d)
Fck(a,b,c,d)=Seed(A,A)
　A=Fck(a-1,B,B,B)
　B=Fck(a,b-1,C,C)
　C=Fck(a,b,c-1,D)
　D=Fck(a,b,c,d-1)
　ただし、Seedは、母体関数に代入された種関数

以下、上記ルールを一般化
Fck(a_1,a_2,...,a_[n-1],a_n)=Seed(A_1,A_1)
　A_1=Fck(a_1-1,A_2,...[A_2がn-1個]...,A_2)
　A_2=Fck(a_1,a_2-1,A_3,...[A_3がn-2個]...,A_3)
　A_3=Fck(a_1,a_2,a_3-1,A_4,...[A_4がn-3個]...,A_4)
　...
　A_[n-2]=Fck(a_1,a_2,...,a_[n-3],a_[n-2]-1,A_n,A_n)
　A_[n-1]=Fck(a_1,a_2,...,a_[n-2],a_[n-1]-1,A_n)
　A_n=Fck(a_1,a_2,...,a_[n-1],a_n-1)
　上記においてFckは、a_1,a_2,...,a_[n-1],a_nのパラメータ数に応じてFckの定義が決定される。
　ただし、a_1,a_2,...,a_[n-1],a_nの内、1の値をもったパラメータがある場合
　パラメータが１つ少ないFckの定義が適用される。
　また、Seedは、母体関数に代入された種関数