>>190
a÷b=cあまりd
でモード演算を
a≡d, c(mod b)
とでも表記するように拡張すれば可能ですね。

>>191
ルール馬鹿は頭がおかしいと思う。どこに数学の問題で式変形をして答えが
でた後それを全て逆にトレースして、はじめの式に一致するかを確認しなければ
ならないという問題があるのか？

>>192
それは、その文字で表されていること以外に意味があるのか？

>>195
論文の内容とは全く異なるが。意味不明な長文発狂お疲れ様です。
qはyの素因数ではなく、p=4q+1と表されるということにしかでてこない。

>>197
＞もし矛盾が示せない操作が証明の中に紛れ込んでいたら、
＞その操作は邪魔なので削除してよく、
無駄で意味のない式変形は論文に書く必要がないのは当たり前だと思うが。