theorem Th65: :: COMPUT_1:66

HFuncs NAT is primitive-recursively_closed