岡理論を残すためには
連接性定理の初等化が
必要だろうか