>>250
(a,b)=d ,((a,b),c)=(d,c)=g とすると、
c=c'g, d=d'g , a=a'd'g, b=b'd'g と書けて、
a'とb'、c'とd' は互いに素。

(b,c)=g*(b'd',c') = g*(b',c') ∵c'とd' は互いに素。
(a,(b,c))=g*(a',(b',c')) だが、a'とb'は互いに素だから（）内=1※
よって((a,b),c)=(a,(b,c))

※の行が論証不足でなければこれでいいと思うんだが、
ご批判よろしく。