The Rearrangement Algorithm of Puccetti and Rüschendorf: Proving the Convergence