Solution (source code)

= Solution

The two <open balls> are disjoint: a common point would have distances to their centres summing to less than two, contradicting the <triangle inequality>. Both are nonempty and relatively <open>, and they cover the union. They therefore give a <separation>, so the union is \b[neither <connected> nor <path-connected>].