Seien \(m,n\in \mathbb{N}\) mit \(n^3-1=m^3\). Dann gilt
\(1=n^3-m^3=(n-m)(m^2+mn+n^2)\), folglich
\(n-m=1\), d.h. \(n=m+1\) und \(m^2+mn+n^2=1\), also
\(1=(m+1)^2+(m+1)m+m^2=3m^2+3m+1\), folglich
\(m(m+1)=0\), somit \(m=0, \; n=1\).
Lässt man 0 nicht als natürliche Zahl gelten, ist die
Aussage bewiesen.