A new proof of a conjecture of Antoniadis (Q1581868)

The authors give an elementary, but ingenius proof of the conjecture that the diophantine equation \[ x^3-1= 31y^2, \quad x,y\in \mathbb{Z}, \quad x\neq 0 \] has only the solutions \((x,y)= (5,2),(5,-2)\). This equation is directly related with the study of imaginary quadratic fields with class number 2. Twelve years ago, another proof was given by \textit{B. M. M. de Weger} [Number Theory and Applications, Banff 1988, NATO ASI Ser., Ser. C 265, 575-589 (1989; Zbl 0687.10010)] by using lower bounds for linear forms in logarithms.