>>486
訂正
>S := {(a, b, c) ∊ N | 0 < a < b < c, gcd(a, b, c) = 1, lcm(a, b, c) = (p^2) * q}

S := {(a, b, c) ∊ N^3 | 0 < a < b < c, gcd(a, b, c) = 1, lcm(a, b, c) = (p^2) * q}

>(a, b, c) ∊ S ⇒ (a, b, c) ∊ Δ が成り立つので、

(a, b, c) ∊ S ⇒ (a, b, c) ∊ Δ^3 が成り立つので、

>X := {(a, b, c) ∊ N | 0 < a < b < c, (a, b, c) ∊ Δ} と置くと、

X := {(a, b, c) ∊ N | 0 < a < b < c, (a, b, c) ∊ Δ^3} と置くと、