>>815　
読んでないでしょ？　読んだうえで、
（γJ＝†β⊂†I）∧（γJ=‡α⊂‡I）　（AOL1）　と
（γI＝β⊂I）∧（γI=α⊂I）　　　　　（AOL4）　の違いがあるなら、
（AOL1）が成り立つのに（AOL4）が成り立たない場合を具体的にお示しくださいね