>>308

> >>307
> ＞→なんで定義したの？
> F(p1^(q1+1),p2^(q2+1),p^(n+1)=2F(p1,p2,p)
> という関係があるから

そのあとの証明には使ってないので無駄な記述では

>
> ＞→異なるものは異なる記号、が原則。読者を無駄に混乱させるので普通はやらん
> 些末

そういう瑣末ごとの積み重ねがあなたの出力の価値を下げていく、ということは認識しといたほうがいいよ

>
> ＞右辺にp2^q2があるけど、それを超えるの？
> 論文に書いてあるが、tがp2の倍数にならないことを示しているからそれに矛盾する
>
左辺がp2の倍数、右辺はp2^q2の倍数。
特に矛盾は見当たらんが