Noether's theorem
アルバート＝ブラウアー＝ハッセ＝ネーターの定理.