>>344
でも確かに正しいのなら、補題や定理とかの見出しをつけて、綺麗にまとめ直してほしいというのはある。
エッセンスだけを取り出してね。