Der Fall positiver Eingabelänge
Es sei xs = evns zs und ys = odds zs
add p (k+1) (zs ++ [x,y])
= code p (k+2) ( deco p (k+1) (xs ++ [x]) + deco p (k+1) (ys ++ [y]) )
= code p (k+2) ( (deco p k xs)*p + x +
(deco p k ys)*p + y )
= code p (k+2) ((deco p k xs + deco p k ys)*p + x + y)
= code p (k+1) (deco p k xs + deco p k ys + (x + y) `div` p) ++
[(x + y) `mod` p]
Hier können wir fast komprimieren; es stört der zusätzliche Summand (x + y) `div` p!