In the succeeding discussions, we will assume WLOG that x, y, and z are in
N since the least possible pair of twin primes that sums up to a perfect square
is 17 and 19, and 17x + 1 = z2 (resp. 1 + 19y = z2) has no solution in N0 by
Mih´ailescu Theorem (cf. [3]).