Deje que $BR=(BR_1,BR_2,BR_3,...)$ denotan el mejor mapeo de respuesta. Esto da un mapeo dado vector de mensaje $m$ . (Para cualquier $BR_i$ sólo los mensajes de no $i$ los jugadores son utilizados para derivar el mejor mapeo de respuesta).
Deje que $m^* = (m_1^*,m_2^*,m_3^*,...)$ denotan el equilibrio simétrico. Como es un equilibrio, para cualquier $i$ tienes $BR_i(m^*) = m_i^*$ así que $$ BR(m^*) = m^*. $$ Supongamos que tenemos un equilibrio que no dice la verdad $m'$ . Como esto es un equilibrio $$ BR(m') = m' $$ así que $$ \forall i \in N: m_i' = \theta_i + \gamma \sum_ {j \ne i} ( \theta_j -m_j'). $$ Reorganizar esto $$ \forall i \in N: 0 = \theta_i - m_i' + \gamma \sum_ {j \ne i} ( \theta_j -m_j'). $$ Si se suman todas las ecuaciones, se obtiene \begin {eqnarray*} 0 & = & \sum_i ( \theta_i - m_i') + \gamma \sum_i \sum_ {j \ne i} ( \theta_j -m_j') \\ 0 & = & \sum_i ( \theta_i - m_i') + \gamma \cdot (n-1) \cdot \sum_i ( \theta_i - m_i') \\ 0 & = & (1 + \gamma \cdot (n-1)) \cdot \sum_i ( \theta_i - m_i') . \end {eqnarray*} Hay dos maneras de que esto pueda aguantar. O bien $ \sum_i ( \theta_i - m_i') = 0$ o $ \gamma = - \frac {1}{n-1}$ .
Caso 1. Supongamos que $ \sum_i ( \theta_i - m_i') = 0$ . Entonces desde \begin {eqnarray*} m_i' & = & \theta_i + \gamma \sum_ {j \ne i} ( \theta_j -m_j') \\ m_i' - \theta_i & = & \gamma \sum_ {j \ne i} ( \theta_j -m_j') \\ (m_i' - \theta_i ) - \gamma \cdot (m_i' - \theta_i ) & = & \gamma \cdot ( \theta_i - m_i') + \gamma \sum_ {j \ne i} ( \theta_j -m_j') \\ (1 - \gamma ) \cdot (m_i' - \theta_i ) & = & \gamma \sum_ {j} ( \theta_j -m_j') = 0. \end {eqnarray*} En el equilibrio de la verdad esto es cierto para todos $i \in N$ . Si $ \gamma = 1$ los equilibrios no verídicos también son posibles para cualquier número de jugadores, por ejemplo. $n-1$ los jugadores que reportan su tipo $+1$ y un jugador reportando su tipo $-n+1$ . Si $ \gamma < 1$ y el equilibrio no dice la verdad, entonces esto no es posible.
Caso 2. Supongamos que $ \gamma = - \frac {1}{n-1}$ .
Deje que $x_i$ denotan $ \theta_i - m_i'$ así que el sistema de ecuaciones $$ \forall i \in N: 0 = \theta_i - m_i' + \gamma \sum_ {j \ne i} ( \theta_j -m_j') $$ se convierte en $$ \forall i \in N: 0 = x_i + \gamma \sum_ {j \ne i} x_j. $$ Para $ \gamma = - \frac {1}{n-1}$ la representación matricial de este sistema de ecuaciones es invertible, por lo que sólo hay una única solución, y $ \forall i: x_i = 0$ es claramente una solución. Esto significa que el único equilibrio es el equilibrio que dice la verdad.