theorem Th53: :: ACKERMAN:53

PrimRec c= majorizedBy AckermannFunction by COMPUT_1:74;