Update naturals-doublecounting.tex