Each constant function f : Nk → N, f(n1,...nk) := n.
常数函数f : Nk→ N, f(n1,...nk) := n。