図式で証明になっていると主張されているけれども図をみても
どういう証明になってちるのかよくわからないところ。