Assertion: euclidean space's property | /r/CapableOf | characterize nonnegative real numbers
Facets:
Source sentences:
text: One must thus prove that this length satisfies properties that characterize nonnegative real numbers.