Para dos números primos diferentes $p, q$ , define $S_{p,q} = \{p,q,pq\}$ . Si dos elementos en $S_{p,q}$ son números de la forma $x^2 + 2005y^2, (x, y \in Z)$ , demuestra que los tres elementos en $S_{p,q}$ están en tal forma.