nonsense sentence existence evidence

皮肉っていう言葉自体が皮肉、みたいな。


眠い。何も書くことが思いつかない。


今さっきまで考えていたこと。
素数pについて、p\equiv1(mod 4)ならp=a^2+b^2と(a,bのペアについて)一意に分解できて、p\equiv3(mod 4)なら分解できないっていうのは平方剰余やら使って証明できるってことは分かったんだけど、p\equiv1(mod 4)のときに、p^nの分解方法をうまく計算できないものか。n=1からn=2のステップはまぁ把握できなくもないんだけど、n=2からn=3がまだちょっと思考不足な感じ。