Update naturals-arithm.tex