Assertion: root's number | /r/HasProperty | such that xn = a.
Facets:
Source sentences:
text: If a is a positive real number and n a positive integer, there exists a unique positive real number x such that xn = a.