すべての零でない可換環は極大イデアルをもちそれは素イデアルでもあるので、どの冪零でないx{\displaystylex}もある素イデアルに含まれない。
因为所有的非基变量都是非负的，而所有的c都是非正的，因此只要某个非基变量不为0，就会使得目标函数更小。