sum of (list 0 and (empty list)) (list 0 and (empty list)) and carry bit 0 = list 0 and (empty list)

Start from the conclusion and work back up the proof. Click the arrow to show the parents.