\gcd{(a^{(N - 1)/p}_p - 1, N)} = \gcd{(2^{9152} - 1, 27457)} = 1.
We have chosen a small prime for calculation purposes but in practice when we start factoring A we may get factors that themselves must be checked for primality.