18/11/13 22:30:41.28 QkM65nli.net
>>584
>>575 を詳細に言うと、
＞ 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の論法を使っていると思うのですが、合ってますか？
18/11/13 22:30:41.28 QkM65nli.net
>>584
>>575 を詳細に言うと、
＞ 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の論法を使っていると思うのですが、合ってますか？