@kururu_goedel: ビール飲んでねる2010-06-30 15:04:26 via Seesmic @kururu_goedel: おっし、必要な補題は証明できた。TeX一発書きだから細かいところは見直さないといけないけど、多分大筋大丈夫。あとはいつもの筋だから面倒は面倒だけど問題はないはず。…