PPT-Folie
Auf Grund der Zerlegungseigenschaften von code und deco können wir zeigen
cadd p (k+m) = splice (2*k) (cadd p k) (cadd p m)
Beachte: Diese Eigenschaft wird auf der Ebene der
Spezifikation bewiesen und gilt damit für alles korrekten
Implementierungen, nicht nur für den carry ripple adder.