1: \begin{definition}

2: \label{Theorem0} Let a five-party non-signaling conditional

3: probability distribution $P(\a|\x)$ in which inputs $\x= (x_1,

4: \ldots,x_5)$ and outputs $\a= (a_1, \ldots,a_5)$ are bits.

5: Consider the bit ${\rm maj} (\a) \in \{0,1\}$ defined by the

6: majority-vote function of any subset consisting of three of the

7: five measurement outcomes, say the first three, $a_1$, $a_2$ and

8: $a_3$. Then, all non-signalling correlations attaining the maximal

9: violation of the 5-party Mermin inequality are such that the

10: probability that ${\rm maj} (\a)$ takes a given value, say 0, is

11: bounded by

12: \begin{equation}\label{mermin5_unpr}

13:     1/4\leq P\left({\rm maj} (\a)=0\right)\leq 3/4 .

14: \end{equation}

15: \end{definition}

16: