Cho a, b là hai số nguyên phân biệt lớn hơn 1, thỏa mãn a + 2b^2 - 2 là lũy thừa của một số nguyên tố khác 13 và b + 2a^2 - 2 chia hết cho a + 2b^2 - 2. Chứng minh 2a + 3 là số chính phương