Update naturals-div.tex