由第1步的下界,xbc+yca+zab≥(a−1)bc+(b−1)ca+(c−1)ab=3abc−ab−bc−caxbc+yca+zab\ge(a-1)bc+(b-1)ca+(c-1)ab=3abc-ab-bc-caxbc+yca+zab≥(a−1)bc+(b−1)ca+(c−1)ab=3abc−ab−bc−ca。这比 NNN 大 abc>0abc>0abc>0,矛盾。因此 NNN 不可表示。