Emmy Noether
ドイツの数学者エミー・ネーターによって1915年に証明され、1918年に公表された。