Let

be a positive integer, and let

be an odd
prime such that

does not divide

and

is a power
of

. In this paper, by the deep result of Bilu, Hanrot and
Voutier, i.e. the existence of primitive prime factors of Lucas and
Lehmer sequences, by the computation of Jacobi's symbol and by
elementary arguments, we prove that: if

, then the
Diophantine equation of the title has at most two positive integer
solutions

. Moreover, the diophantine equations

and

have precisely three positive
integer solutions

.