Ledの日記： やっと

証明のコアな部分は終わり、目鼻が付いてきた。
あとはどれだけきれいにかけるかってことだが、
〆切が明後日だからな。