holds.
Proof. As in the proof of Theorem 2.1 the equation is equivalent to
Suppose that this negative special Pell's equation is solvable. Its solution
(xm; ym) is representable in terms of Fibonacci and Lucas numbers as a linear
combination with rational coecients only if a2