Assertion: torus | /r/HasProperty | doughnut-shaped surface
Facets:
Source sentences:
text: For instance, on a torus (a doughnut-shaped surface), we have the Seven-Color Theorem, along with many eye-catching ways of proving that seven colors are necessary.