\frac{p_1 - p_2}{d} | 1 \implies p_1 - p_2 = \pm d \implies p_1 - p_2 | q_2 - q_1 \implies a \in \mathbb{Z}