>>950
1.2.があれば規制が発動しなかったのは分かる。
そして、3.は証明されてない。いいよね？ここまで。
で、3.が証明されていない状態で、1.2.3から4.を導出って・・・