一番左のN(xPy)+N(yPx)はN*に等しいので,つまり,N*>2N(yPx)です。 これより,N(yPx)/N*<1/2です。
N(xPy)/N*>1/2ということで,つまり,多数決決定法でxPyであるときはN(xPy) > (1/2)N*です。 (書籍には「必要である」とあり,それは正しいのですが,十分条件でもあります。)