если p = t*k и p - простое, то можно считать, что t = p, k = 1. Т.к. a^2 + b > a^2 - b (считаем b > 0) то a^2 - b = 1, a^2 + b = p. Т.к. a - четно, то b = a^2 - 1 = 4m - 1. Тогда p = a^2 + b = a^2 + 4m - 1 = 4(m + (a/2)^2) - 1 - простое число вида не 4k + 1.