jest tylko wówczas, gdy a = a = - = a0 .<br> Ogólny dowód tego twierdzenia jest uciążliwy w zapisie, a zarazem dostatecznie prosty, by nie warto go było tutaj przytaczać. Jego strukturę można łatwo pokazać na konkretnym przykładzie. Załóżmy profil uporządkowań preferencyjnych odnotowany na s. 468. Przypuśćmy, iż osobom S, S, S przyporządkowano odpowiednio wagi: a, b, c . Ma zatem być:<gap>. Uwzględniając oznaczenia rozpisujemy ten warunek na 3! = 6 równości:<gap>. Dodając stronami równości (1), (3) i (5) oraz uwzględniając fakt, że x, = 1 , otrzymujemy b = a . Dodając stronami równości (2), (4), (6) otrzymujemy w taki sam sposób c = a . Zatem a = b = c .<br> Uogólnienie powyższego