PPT-Folie
Nachspielen der Entwicklung für cadd ergibt:
cadd p 0 [c] = [c]
cadd p (k+1) (xs ++ [x,y,c]) =
cadd p k (xs ++ [(x+y+c) `div` p]) ++ [(x+y+c) `mod` p]
Durch genauere Analyse der verwendeten algebraischen Eigenschaften kann die Herleitung auf andere Operationen als die Addition verallgemeinert und damit wieder-verwendet werden.