>>524
いや「多くの場合」ではダメだ
任意の場合に対して成り立つかを問題視している