theorem Th48: :: ACKERMAN:48

for m being Nat holds rng (constF m) c= PrimRec