We show Theorem by using elementary methods when y . 2, and by
applying a lower bound for linear forms in two logarithms due to Laurent
when y = 1. In section 4, we also verify that when 1 . m . 20 or m = 3k
under some conditions, equation (2) has only the positive integer solution
(x, y, z) = (1, 1, 2).��