なお、不成立の証明はあくまで関数論の反例構成による。（>>23＆>>48&>>91&>>300）（＾＾
上記（>>466-468 >>478 >>485 >>487-489）は
不成立メカニズムの説明です(そもそも>>466に説明と書いてますよ)