従って、ネターの不等式は