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 .
After revision:  The second theorem provides a sufficient condition for two strategy-proof mechanisms when the number of possible allocations is finite .