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 proving equivalence between two strategy-proof mechanisms to be equivalent when the number of possible allocations is finite .