theorem Th77: :: COMPUT_1:78

for m being Nat
for f being Element of HFuncs NAT st f in PrimRec-Approximation . m holds
f is quasi_total