おっちゃんです。
スレ主が導こうとしている結論は元からどのようにしても導けない
(定理 1.7 の反例を挙げてそれを否定することは出来ない)
から、幾らやってもムダ。