６ページ１０行目
＞z=2^(qr-1)(1-(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1))/v
について、
これまでと同じ理由により、tがcの倍数でないのだから、tp/cに等しい2^(qr-1)(1-(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1))は整数でない。
よって、この式とvとの商であるzも整数ではない。