Let ? be a solution concept (for F) satisfying symmetry and efficiency.
Prove that for every symmetric bargaining game (S, d), the outcome ?(S, d) is the highest point on the line x1 = x2 that is also in S (in other words, the point in S and on the line x1 = x2 for which x1 is maximal).