Assertion: real number's property | /r/HasProperty | algorithm
Facets:
Source sentences:
text: This Euclidean division is key to several other properties (divisibility), algorithms (such as the Euclidean algorithm), and ideas in number theory.