变量和为 111，所以每个变量不超过 1；被减去的项不会超过两个变量乘积之和。
两项都非负：第一项显然非负，而第二个因子可写成 x(1−y)+y(1−x)x(1-y)+y(1-x)x(1−y)+y(1−x)，因为三个变量都在 [0,1][0,1][0,1] 中。