Assertion: sphere | /r/HasProperty | unique
Facets:
Source sentences:
text: It may be proven that such a sphere is unique: If there are two of them, then the objects in question lie within their intersection.