Assertion: euclidean algorithm | /r/CapableOf | end in finite number of steps
Facets:
Source sentences:
text: Since the norm is a nonnegative integer and decreases with every step, the Euclidean algorithm for Gaussian integers ends in a finite number of steps.