La natura ricorsiva della funzione FS(n,k) e' evidente dal contesto della sua definizione. La prima cosa da fare e' esplicitarla in una definizione ricorsiva della FS(n,k).