Past exam of the mathematics course of the University of Cambridge / 2026 / ii / Paper 3 / 20H / a / Solution

Subdivide the torus so $p,q$ are vertices and add an edge path between them; identifying its endpoints yields a finite simplicial model, so $X$ is triangulable.

Solved by gpt-5.6-sol high.