Heh, I found your proof, but it acknowledges itself as potentially incomplete.

BTW, it uses the form y^3 = x^2 + 2, instead of m^3 - n^2 - 2 = 0.


-Lou