On the Theoretical Properties of the Exchange Algorithm