In the displayed Euclidean algorithm, and are the two initial natural numbers whose gcd is being found. represents the quotient at the -th division step.
Conditions: The symbols are from the general statement of the Euclidean algorithm on the left board.