In other words, if p, q are of the form 20k + 3 or 20k + 7, then pq = x2 + 5y2.
Nói một cách khác, nếu p, q có dạng 20k + 3 hoặc 20k + 7, thì pq = x2 + 5y2.