“…First, as a SPE is a NE, the above implies thatσ θ (c, E) is a NE of the game Γ θ 2 (c, E) with outcome T θ (c, E). Next, for each N ∈ N with |N | = 2, each (c, E) ∈ B N , and each θ ∈ [0, 1], it is clear that the sum of each possible outcome of Γ θ 2 (c, E) is always the endowment E. Thus, the proof can be completed in the same way as the proof of the uniqueness part at Proposition 1 in Tsay and Yeh (2019). Q.E .D.…”