I checked that they are homeomorphic via [SnapPy][1]. Although not as satisfying as a proof, at least it is a useful check. [![SnapPy snapshot][2]][2] [1]: https://snappy.math.uic.edu/ [2]: https://i.sstatic.net/kBhmJ.png