การแสดงออก $\{k|\เดลต้า x[k]=1\}$ ควรอ่านว่า "ชุดของ $k$ เช่นนั้น $k$บิตของ $\เดลต้า x$ ถูกกำหนดไว้แล้ว" ดังนี้แล้วนั้น $\ell_1$ เป็นตำแหน่งบิตขวาสุดที่ทั้งสอง $x$ ค่าแตกต่างกันและ $\ell_2$ เป็นตำแหน่งขวาสุดที่ทั้งสอง $y$ มูลค่าแตกต่างกัน ก็ยังตามมาอีกว่าทั้งสอง $x$ ค่าและสอง $y$ ค่าตกลงในทั้งหมด $\ell-1$ ตำแหน่งทางด้านขวาของ $\ell$ตำแหน่งที่
การบวกเบื้องต้นบอกเราว่า $\ell-1$ บิตขวาสุดของ $z$ ขึ้นอยู่กับ $\ell$ บิตขวาสุดของ $x$ และ $\ell$ บิตขวาสุดของ $y$เพื่อให้สำหรับการเพิ่มเติมสองครั้งที่บิตเหล่านี้เหมือนกันคือ $\ell-1$ บิตขวาสุดของคำตอบเหมือนกัน เพราะฉะนั้น $\เดลต้า z[k]=0$ สำหรับ $k<\ell$.
ในกรณีที่ $\ell_1=\ell_2$, การคำนวณของ $\ell$บิตที่ได้รับจาก
$$z[\ell]=x[\ell]\oplus y[\ell]\oplus c[\ell-1]$$
ที่ไหน $c[\ell-1]$ เป็นบิตพกพา บิตพกพานี้เหมือนกันในทั้งสองกรณี แต่เราแทนที่คำอื่นด้วย $x[\ell]\oบวก 1$ และ $y[\ell]\oบวก 1$ ดังนั้น $z[\ell]$ ไม่เปลี่ยนแปลง (เช่น $\Delta z[\ell]=0)$. ในกรณี $\ell=\ell_1\neq\ell_2$ บิตพกพายังคงเหมือนเดิมและเราทำการเปลี่ยนเท่านั้น $x[\ell]\oบวก 1$ ดังนั้น $z[\ell]$ พลิก (เช่น $\Delta z[\ell]=1$). ในทำนองเดียวกันในกรณี $\ell=\ell_2\neq\ell_1$ เราทำการเปลี่ยน $y[\ell]\oบวก 1$ อย่างนั้นอีกครั้ง $\Delta z[\ell]=1$.