1: \begin{proof}

2: The proof is identical to that of Milley \cite{milley:minvol}, and

3: uses his code, included as supplementary material with that reference

4: \cite{milley:minvol}, modified to read in minimally twisted $n$--chain

5: links rather than Dehn fillings of census manifolds.  The first step

6: is to feed the triangulations of the minimally twisted $n$--chain

7: links into Snap, and ensure that the triangulations used in the

8: computation are geometric, that is, all tetrahedra are positively

9: oriented.  This is true for all minimally twisted $n$--chain links,

10: $11 \leq n \leq 59$.

11: 

12: Next, use Moser's algorithm \cite{moser} to find a value $\delta$

13: which measures the maximal error between Snap's computed solution and

14: the true solution.  Moser's algorithm gave us such a value for $11

15: \leq n \leq 25$, but failed thereafter, presumably due to

16: computational complexity of the chain link complements.

17: 

18: Finally, for each $n$ between $12$ and $25$, inclusive, input the Snap

19: triangulation data and Moser's value $\delta$ into Milley's program

20: {\tt{rigorous\_volume.C}}, along with the constant value

21: $(n-1)*3.66386237670888$.  The program checks rigorously whether the

22: volume of the given $n$--chain link is larger than the given constant.

23: For $12 \leq n \leq 25$, the program definitively proved that the

24: volumes of the minimally twisted $n$--chain link complement are

25: strictly larger than that of the $(n-1)$--fold cyclic cover over a

26: component of the Whitehead link.

27: \end{proof}

28: