岩澤理論ってクンマーの理想数の概念を厳密化したやつとか見た気がする