ごめん、これは俺がアホなのか髙木さんの書き方が悪いのかよくわかんないんだけど
P.04の真ん中ちょい下の「(pr mod (p + 1)/2)^qr」の部分は
「{ pr (mod (p + 1)/2) }^qr」ってこと？
だったら普通に前の行から持ってきて「pr^qr = m(p + 1)/2 ≡ 0 (mod (p + 1)/2)」って書けばいいような気もするけど……
あと、途中ちょこちょこ出てくるシグマ記号の直後の2行表記なのは何？
分数の横棒が引けなかっただけなの？ それとも行列？(行列だと意味わかんないんだけど)