Assertion: n sphere | /r/HasProperty | compact
Facets:
Source sentences:
text: The Heine–Borel theorem implies that a Euclidean n-sphere is compact.