“…Lemma 12 * plays an important role in Morimoto and Serizawa's (2015) proof of Proposition 4. 15 It implies that if Proposition 4 does not hold, then there is an allocation that Pareto-dominates the allocation of the rule satisfying strategy-proofness, efficiency, individual rationality and no-subsidy for losers. Similar arguments are applied to derive contradictions in several points in their proofs.…”