Cho a, b là các số nguyên dương, c là số nguyên tố thỏa mãn: a^2 = b^2 + c^2. Chứng minh rằng: c < b và a = b + 1.