何をやってんのかと思ったらユニモジュラーの定義ですか。
マッキーの方法とかだったらもっと簡単に行くんじゃ
なかったですかね？ヴェイユに何て書いてあったかは
もう忘れましたが。