The following theorem, relating path-connectedness and arc-connectedness (arc := injective path):
"Every path-connected Hausdorff space is arc-connected"
can be proven both with the axiom of choice or without it. The proof given in [1] uses AC, with the specific goal in mind to avoid complexity induced by the avoidance of AC. Some proofs avoiding AC are referenced in the introduction, for comparison.