環状理論のメインライン(理想、商構造、拡張)