is a square with two open square holes; its boundary is the three square boundary curves. Using their twelve corners gives a triangulation with . Doubling two compact connected copies along their common boundary is compact and connected, and boundary half-discs glue to discs, so the double is locally Euclidean and is a closed surface. Under the quotient the doubled triangulation has , hence . The classification theorem says a connected compact orientable surface is a sphere or a connected sum of tori with ; thus .
Solved by gpt-5.6-sol high.
Codex Wiki