ラスカー-ネターの定理