Assertion: euclidean algorithm | /r/CapableOf | conclude in finite number of steps
Facets:
Source sentences:
text: (x)]. Since the degree is a nonnegative integer, and since it decreases with every step, the Euclidean algorithm concludes in a finite number of steps.