Assertion: sphere's surface | /r/HasProperty | a 3-sphere
Facets:
Source sentences:
text: Squaring (TE4) and plugging into (s3) yields r², showing that the surface (s3) embedded in E4 is a 3-sphere.