Each constant function f : Nk → N, f(n1,...nk) := n.
Κάθε συνεχής συνάρτηση f : Nk → N, f(n1,...n,k) := n.