theorem Th74: :: COMPUT_1:75

for m, n being Nat st m <= n holds
PrimRec-Approximation . m c= PrimRec-Approximation . n