theorem Th73: :: COMPUT_1:74

for X being Subset of (HFuncs NAT) st X is primitive-recursively_closed holds
PrimRec c= X