Assertion: euclidean algorithm | /r/HasProperty | based on the principle
Facets:
Source sentences:
text: The Euclidean algorithm is based on the principle that the greatest common divisor of two numbers does not change if the larger number is replaced by its difference with the smaller number.