Verification of a Conjecture of E. Thomas. Original Research Article

We prove that the equation X3 − (n − 1)X2Y − (n + 2)XY2 − Y3 = ±1, where n set membership, variant image, has only trivial solutions for n > 3.