たいして書くことはないけれども。 まぁ何がめんどくさいって、自分は既に慣れ親しみきって当たり前になってる 定義やら定理やらをいちいち列挙してその大部分にまたいちいち証明を つけなきゃならんということだな。 まぁがさがさ削りつついこうかね。 明日…