“…The approach by Alaca, et al is to determine integers ρ, σ, τ, µ such that, modulo p n , we Subsequently, they show that there exists an automorphism λ defined on Z p n × Z p n which is given by λ(x, y) = (ρx + σy, τ x + µy). Due to their choice of integers, by setting A = aρ 2 + bρτ + cτ 2 , we have 7) and in particular we will have (A, p) = 1. Hence, it follows that…”