>>571

>>560で導出した
＞　2w×ts/((ps-1)ps^(qs-cs-1))×pr^(qr-cr-1)=1
を変形した
ts/((ps-1)ps^(qs-cs-1)) = 1/(2wpr^(qr-cr-1))
は、明らかに分数です。
これにpr-1をかけたものも、少なくとも分母のprが残るので、分数です。
よって、
＞　tr' = (ts(pr-1))/((ps-1)ps^(qs-cs-1))
は、整数ではなく、分数になります。
（そしてpr^(qr-cr-1)はtr'との約分で消えます）