バーマモジュールと最高次表現の関係