Assertion: sphere | /r/HasProperty | nonempty
Facets:
value: in zn
type: LOCATION
Source sentences:
text: For example, in Zn with Euclidean metric, a sphere of radius r is nonempty only if r2 can be written as sum of n squares of integers.