横川理論の上位互換は合戸理論なんだろうか