>>34

定義に抜けがあるため対象とする関数環が零因子を持つのに、それを無視して論理展開する
という致命傷があるのだよ。