>>296
あ、ごめんなさい。
q = 0 かつ q ≡ 1 (mod 4)のとき、
D(p, q) = (p, q) = (p, 3×q + 1) = (0, 3×q + 1) っていうのが
抜けてた。