Before revision:  The second theorem provides a sufficient condition for proving equivalence between two strategy-proof mechanisms  when the number of possible allocations is finite . The two theorems provide a unified foundation for existing results in several distinct models and imply new results in some models .
After revision:  The second theorem provides a sufficient condition for proving equivalence between two strategy-proof mechanisms when the number of possible allocations is finite .