The algorithm finds the shortest plan to orient the part up to symmetry. We can prove this by induction by showing that at each iteration of Step 3, the algorithm finds the largest possible interval [6].