  Natural numbers are represented by Grzegorczyk functions. The representation
is implicit in the technique of H. Friedman. An iterated base-shift in the
representation with subtracting 1 yields a sequence, Grzegorczyk sequence. It
is shown that the termination of the sequence is independent from the first
order arithmetic PA. We follow M. Rathjen in the proof of the independence.
