for c, n being Element of NAT
for P being non empty primitive-recursively_closed Subset of (HFuncs NAT) holds n const c in P