>>575
>>567 を詳細に言うと、
＞ tr(ps-1)ps^(qs-cs-1) = ts(pr-1)pr^(qr-cr-1)
において、
D = tr
C = (ps-1)ps^(qs-cs-1)
B = ts(pr-1)
A = pr^(qr-cr-1)
とおいて、
「 A が C を割り切らないなら、A は D を割り切る 」
という>>4の論法を使っていると思うのですが、合ってますか？