>17
現在、証明自体を修正中で、定義も一部変更する可能性もあるので、
全部を再掲載することはあまり意味を見いだしません。
どこが判りにくいかをご指摘いただければ、それについては説明させていただきます。