“…This is proved in Section 2; see Theorem 2.1 and Proposition 2.8 for precise statements. To prove the simple-seeming statement of Theorem 2.1, we draw on a number of results and techniques, including the orbifold geometrization theorem [8,11], Dunbar's classification of Euclidean orbifolds [12], collar estimates due to Gehring, Marshall, and Martin [17,18], and volume estimates for totally geodesic boundary due to Atkinson and Rafalski [7].…”