Assertion: division's number | /r/HasProperty | denoted such that
Facets:
value: by 1/a
type: OTHER
Source sentences:
text: For every real number a (except zero) there exists a real number denoted by 1/a such that