What would you like to understand?

Strictly speaking, the standard stopping condition for the Euclidean algorithm is to continue until the remainder is 0. The last nonzero remainder is then the gcd.

Conditions: The inputs are natural numbers.; The Euclidean algorithm is being applied.