text: Рассмотрим какой-нибудь исход с. В силу Этапа 2 существует некоторый центральный агент n ∗ ∗ {\displaystyle n^{**}} для этого исхода, он же является диктатором для всех пар < A , B > {\displaystyle <A,B>} , где, в частности, A = a , B = b {\displaystyle A=a,B=b} .