>>378
＞証明になってないだろうｗ

そう言うのであれば、
http://www.kurims.kyoto-u.ac.jp/~yuichiro/intro_iut_continued.pdf
の93ページ前半に証明の概略が書かれてあるが、
どの部分か何故証明になってないのか説明よろしく
お前の理解に基づいて語ってくれ