f_k \left( {n_1 ,...,n_k } \right) = f_k \left( {n_{\sigma \left( 1 \right)} ,...,n_{\sigma \left( k \right)} } \right),\forall k \in {\bf N}