Assertion: euclidean algorithm | /r/CapableOf | replace first of the two numbers
Facets:
Source sentences:
text: A step of the Euclidean algorithm that replaces the first of the two numbers corresponds to a step in the tree from a node to its right child, and a step that replaces the second of the two numbers corresponds to a step in the tree from a node to its left child.